this fixes #386

Removes unused Tools->Settings menu item, until decent setting dialog would be implemented
Merge pull request #388 from klokik/master

this fixes #386