Parameterized IRC nicknames

This allows the IRC nick used to send announcements to be parameterized with the current pushmaster's username. This should make it easier to identify who is running pushes and when.