Re-add stop-irc procedure that I deleted at some point by accident.