irc: use 6697 as default port for SSL servers created with URL "ircs://" (bug #39621)