Bash completion for ssh_config