Added #mininet IRC channel