* Update README to specify curl and suggest pyenv
Curl is required and should not have been omitted. Since we mention 18.04, we should acknowledge that the system python is no good and point users to pyenv to install 3.8
* Updates from discussion
Add a quick-start section; clarify some of the getting-started sections; add a section on Ada.
Support pre-commit checks used in AdaCore/e3-core
These are a good example of best style practices for python projects. Adding the associated badges to the README (even though it needs to be rewritten) so the commit is complete and consistent.
Documentation of how to set up and run the checks is in CONTRIBUTING.md
Fix for issue #5 (Remove Reference to `vagrant-vbguest` Plugin): update the README to remove this optional step and update the the script to reload the gui machine after provisioning, so that the manually-installed guest additions will be reloaded.
Fix for issue #6 (README Should Warn about VirtualBox 6.1 Incompatibility): update the README to clarify instructions for downloading VirtualBox, including updating the address from which VirtualBox should be downloaded.
Created `run-example.py`, which is a frontend for running the examples packaged with OpenUxAS. Importantly, it allows paths to OpenUxAS and OpenAMASE to be specified on the command line or in environment variables; it defaults to using the correct location inside the anod sandbox. This has been tested reasonably well.
Updated the Vagrantfile to remove the -almost machines; instead, the Vagrantfile looks for the gnat-bin binary and maps it if it's present on the host. Then, during provisioning, it checks for the file before downloading it. This eliminates potential for errors from replicating the specs (especially since I only test the -almost variants).
Updated the GUI machine to set clipboard sharing; this works (the menu is set) but doesn't work (clipboard sharing is broken).
Finally, added a one-shot script that builds the GUI machine and runs all the builds.
Added CONTRIBUTING.md
Created a patch for GNAT community that updates the formal containers so that the Ada build succeeds.
Updated the Vagrantfile to further DRY up the provisioning. Then added a GUI machine to both uxas and uxas-almost. This machine will create an Ubunut desktop environment.
The README has been updated to describe how to use it.
Removed all red text / error messages from the provisioning.
Now bootstrapping in a VM-local directory, rather than in a shared directory. This is higher performance and should avoid errors on Windows.
Update the README to remove the Windows Administrator note and to provide a one-liner for creating the machine and running the first build.
On the Vagrantfile, turn off the GUI (for now), since it's a bit confusing for new users.
The README has been reorganized a bit and updated, most notably to describe how to use Vagrant. This may still change as testing continues.
