A Vagrant wrapper written in PHP to manage Vagrant machines via PHP