website: add docs back to the main Vagrant repo