WIP updated the ubuntu install script

* uses a more recent gcc-arm-embedded
* uses an ubuntu ppm instead of adding a custom dir to the path.
Updated the Vagrantfile

* Use Vagrant API v2.
* put in a note to improve the provisioning
Updated .gitignore to ignore the PX4 source dirs