Docker-reboot command

[bethac07]

I don't know why I never thought of this before, but we should totally have one of these, presumably in run.py .