the host keyword in ssh/.config is case insensitive

Signed-off-by: Greg Dietsche <Gregory.Dietsche@cuw.edu>
Ignore hashed host names in ssh/known_hosts

Valid DNS names cannot have a | character and hashed ssh hosts
always begin with the | character. Therefore we ignore lines that
begin with |.

Signed-off-by: Greg Dietsche <Gregory.Dietsche@cuw.edu>
Some spaces to tabs in __fish_print_hostnames