tab exension for hostnames in ssh