Mike: added the BOX Vagrantfile and shell provisioning script