Add config option for IRC server port