These two last commits resolve all the issues that I have experienced so far in remote/cross debugging mode. The Debugger plugin now behaves nicely (at least to _my_ taste).
(The fact that gdb does not retrieve on the desktop machine the sources and libraries that it needs is not the plugin's fault, only an artefact of my weird setup.)