Updated Vagrantfile to use citadel-vagrant
Added travis config for php 5.5