Merge pull request #160 from phantomjinx/master

Fixes some refactoring / menu issues
TEIIDDES-1727: Remove 'show translators' option

* As per suggestion on jira, the translators are a permanent feature of a
  teiid server so little point in hiding them, especially as the current
  hiding mechanism is imperfect in its logic.