Vagrant boxes for (PHP) web development