Add option to use ssh tunnel for workspace

(from redmine: issue id 1999, created on 2014-12-01 by gmueller)