Box maintenance: add a Vagrantfile and final instructions.