Add link to ssh-proxy for configurable ssh config