PHP Continuous Integration server using Vagrant