Show non-default Port in full host name (%H) in tab bar

Makes it easy to spot several connections to the same host on different ports (e.g. different controllers on the same embedded device)

@tcanabrava @hindenburg