The patchbot only needs a Sage source install (clone of git repository) and is started with
`python3 -m sage_patchbot.patchbot --sage-root=XXX [other options]`
Type --help for a list of options, though most configuration is done via an optional JSON config file.
For more documentation on running a patchbot, see this page.
The server needs a Python with Flask and mongodb installed.
