A PHP Vagrant wrapper to manage Vagrant machines