add files to start a new VM via Vagrant

closes #573

sw/extras/bootstrap_vm.sh

@@ -0,0 +1,20 @@
+#!/usr/bin/env bash
+
+export DEBIAN_FRONTEND=noninteractive
+apt-get update
+
+# install a desktop environment and login manager
+apt-get install -y xfce4 gdm
+dpkg-reconfigure gdm
+
+# default precise32 box doesn't have the add-apt-repository command, get it:
+apt-get install -y python-software-properties
+
+add-apt-repository ppa:paparazzi-uav/ppa
+add-apt-repository ppa:flixr/gcc-arm-embedded
+apt-get update
+apt-get install -y paparazzi-dev gcc-arm-none-eabi libcanberra-gtk-module
+
+
+# setup some git aliases for the vagrant user
+su -c /home/vagrant/paparazzi/sw/extras/setup_git_aliases.sh vagrant

sw/extras/setup_git_aliases.sh

@@ -0,0 +1,9 @@
+#!/usr/bin/env bash
+
+git config --global color.ui auto     # colors for all
+git config --global alias.st status   # make `git st` work
+git config --global alias.co checkout # make `git co` work
+git config --global alias.ci commit   # make `git ci` work
+git config --global alias.br branch   # make `git br` work
+git config --global alias.up "pull --rebase"   # make `git up` work similar to svn up
+git config --global alias.lg "log --graph --pretty=format:'%Cred%h%Creset -%C(yellow)%d%Creset %s %Cgreen(%cr) %C(bold blue)<%an>%Creset' --abbrev-commit --date=relative"