theia: set THEIA_MINI_BROWSER_HOST_PATTERN to hostname

This is required for example to preview images (ie. open a .png file from the
editor). Without the default value of {{uuid}}.mini-browser.{{hostname}} is used
but we don't have anything in place to resolve such domain names.
1 job for fix/theia-mini-browser-host-pattern
Status Job ID Name Coverage
  External
running SlapOS.SoftwareReleases.IntegrationTest-Jerome-WIP2

30144:10:57