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.
Merge pull request #161 from phantomjinx/master

Remove 'hide translators option'