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
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.