Virtual Machine Management in PHP