Simplify quick-start instructions by using the Vagrant box.