Increase tools selection capabilities to remove multi selected tools at once.

[dgrabulosa]

In the tools nice to have the possibility to select multiple tools separated (control key pressed) or all in between first selected and last (shift key pressed) to remove tools easily.

[Grubuntu]

This feature is now in v1.9.4

Thank you for you support.