Updater's supervisor library/program. Intended as a replacement of updater.sh.

Solves #244 (closed) and #245 (closed).