Scripts for provisioning Minix VMs for development