Move bootstrap scripts to support/vagrant.
Fix path.
Update gsl.
Fix warnings.