added new ppas, added a newer boost package dependency, some other items, and some of the mingw32 crossdev packages
Merge branch 'master' of github.com:Tarendai/springrts-vagrant