Use more accepted SSL port for IRC
Test that IRC chooses SSL port
Merge pull request #793 from github/change-irc-ssl-port

Use more accepted SSL port for IRC