Added ssh_docker function. Rename sm db connection
Merge branch 'master' of github.com:bugthing/dotty