ssh plugin: added option to ask for a username in addition to the host