gdb, js-debugger: Better plugin names now that the user is prompted to check the correct debugger plugin.