A vagrant-configured shared development box for multiple PHP projects