Move to more concise Vagrantfile, with optional "apt-get update".