Fix irc channel used by TravisCI

Change-Id: I1ba20b799a2739450ea7d0fc1f2a6c7f58fce327