Vagrant configuration for php dev