Add config option to support custom ssh port.

Change-Id: If2d6edbde23d1711aa714270368bfca9b30d5f73