InstantSSH plugin: Renamed mysqlcmdlinetool application section to mysqltools
InstantSSH plugin: Added mysqldump program to the mysqltools application section
InstantSSH plugin: Small fixes