Clarify setup instructions: tweak heading levels, remove vagrant

Remove mention of using Vagrant to set up, as we don't officially support that
and it seems to be causing some confusion. The Vagrantfile is left alone so that
those who know what they're doing and really want to use Vagrant can still do
so.