Remove 'hide 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.