Add a link to teh tools in menu bar
Add a link to teh tools in menu bar


Former-commit-id: 2ac2f6706a400e7f728ac6dccaf155d7ba54518d [formerly 13a5ea05b856f541da3cc2f411c77b0e5ae8fe73]
Former-commit-id: 54ff43c3ad7fb3347cb173089707e7844c551e3d
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine