Buildbot: add reboot instructions
Using the build environment interactively
Updating PETSc
Update buildbot queues