Update to vagrant docs, adds vagrant listing to sidebar navigation