better ssh auth sock handling
Merge branch 'unstable' of github.com:openscad/openscad into unstable