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)