drop wagon-ssh extension
drop wagon-ssh extension

This was required for the sftp upload to a custom FTP server, which has been
removed from the deploy process.

(cherry picked from commit 707ad277a39fa84b59ca5aa3286d235545a253be)

LearnLib/learnlib,LearnLib/learnlib,LearnLib/learnlib