Minor update to ssh-proxy.md.
Don't let hljs guess language if none is specified.