[Downtime] Migration of IRC server

[tokumei]

Update: The new IRC server `hitsuke.nonemu.ninja` has now become the main IRC server of the network. The record for `irc.openredstone.org` has been updated to point new connections to that server. Tomorrow, expect some downtime with NickServ/ChanServ.