this fixes #386

Removes unused Tools->Settings menu item, until decent setting dialog would be implemented