Group Vagrant documentation

Vagrant can be used to run a Docker host VM and/or to manage Docker
machines. These two features can work independently so group the
documentation to make this distinction clearer.
Document steps on using the build folder