Minor refactoring of Vagrantfile; commenting better.