pbot-vm: update documentation about how to start PBot VM after reboot

applets/pbot-vm/vagrant/README.md

@@ -83,6 +83,14 @@ In your instance of PBot, the `sh` and `cc`, etc, commands should now produce ou
     <pragma-> sh echo Hello world!
        <PBot> Hello world!
 
+### Starting PBot VM again
+To start the PBot VM again, e.g. after a reboot:
+
+    cd applets/pbot-vm/host/bin
+    virsh -c qemu:///system net-start vagrant-libvirt
+    virsh -c qemu:///system snapshot-revert $PBOTVM_DOMAIN 1   # for each $PBOTVM_DOMAIN you need to start
+    ./vm-server
+
 ### Shutdown Vagrant Box
 
     vagrant halt

doc/README.md

@@ -353,6 +353,7 @@
   * [Initial virtual machine set-up complete](VirtualMachine.md#initial-virtual-machine-set-up-complete)
 * [Start PBot VM Host](VirtualMachine.md#start-pbot-vm-host)
   * [Test PBot](VirtualMachine.md#test-pbot)
+  * [Starting PBot VM again](VirtualMachine.md#starting-pbot-vm-again)
   * [Adding additional VMs](VirtualMachine.md#adding-additional-vms)
   * [QEMU command from libvirt](VirtualMachine.md#qemu-command-from-libvirt)
 <!-- md-toc-end -->

doc/VirtualMachine.md

@@ -510,6 +510,13 @@ In your instance of PBot, the `sh echo hello` command should output `hello`.
     <pragma-> sh echo hello
        <PBot> hello
 
+## Starting PBot VM again
+To start the PBot VM again, e.g. after a reboot:
+
+    cd applets/pbot-vm/host/bin
+    virsh snapshot-revert $PBOTVM_DOMAIN 1  # for each $PBOTVM_DOMAIN you need to start
+    ./vm-server
+
 ## Adding additional VMs
 You may add as many virtual machines as you like. The virtual machines can exist on different physical machines.
 Edit the [`vm-exec.json`](../applets/pbot-vm/host/config/vm-exec.json) configuration file with the details (IP addresses