Utilities for deploying our IRC bot, hal.