ssh/session-type.c (print_session): Print port number