Change IRC default server to irc.euirc.net.

Was Hamburg server (which doesn't exist any more).