SSH plugin configuration parameter for choosing terminal

[nean]

this is a feature request for ssh plugin:

if using a custom terminal eg. terminator it is almost impossible to config the distro alternatives and terminal default in a way that it work via synapse.

therefore we need a configuration option for choosing terminal within the ssh plugin -> path-to-terminal, either direct in the preference or via config file or dconf,...

so you can leave your os alternatives untouched at default and choosing a different terminal for ssh plugin in synapse.