[Thinlinc-technical] Utilise a different ssh port

[Paul Dunda]

I've had a look at the Admin Guide but am unable to find how to 
configure thinlinc server to use ssh running on a port other than 22.

Thanks.