Specifies SSH port to be 10022/tcp.

This commit fixes #261.
Merge branch 'id/261' into dev