Specify port explicitly for ircs link

Some clients might use a different default port, e.g. 9999.