Added Vagrant dev-environment
Backported to PHP 5.3