The patchbot only needs a Sage install and is started with

    python patchbot.py [options]

Type --help for a list of options, though most configuration is done via an
optional JSON config file. This is what is invoked by sage --patchbot [...]

The server needs a Python with Flask and mongod installed.  Installing numpy
and PIL will allow multi-colored blurbs.  Start a monitoring loop with

    python run_server.py

Currently, the server is set up to run on port 21100, communicating with
a mongod instance running on 21002.