Virtual Machines for Development