Travis: Simplify IRC configuration and drop IPv6 hostname