Remove old, dead and untested code
Merge pull request #25 from Tarrasch/remove-ssh-launcher

Remove old, dead and untested code