More Travis-CI fixes - should at least run now!

- Fix makefile
- Add Vagrantfile for testing
- Update puppet provisioner to fix circular dependency (really this
  time)
- Minimum CMake is 2.8.5 (for compilation database generation)
- Disable "Create directory for SemanticDB?" for batch runs