vagrant: install gcc-4.8 for C++ support
Use ninja instead of make for Linux build