Add Ssh widget
This is the last PR for the "generic SSH" UI. This adds and integrates ConnectToSshWidget and updates documentation.
The PR is split up in 4 commits to make the review a bit easier. There are meaningful commit messages. Please look at the documentation commit for screenshots.
@karupayun This is a lot of code doing quite some things, we can also go through this together tomorrow in our 1:1:1 if there are questions.
I left a few comments.
Also I think that Local Profiling might be the most popular option but the group box and the connect to the service button is too little. Do you have any idea about making it bigger?
Well, we can of course add some empty space. Do you have an idea on how it should look like? I really don't have an opinion about this and wouldn't know what to change.