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 1.0
Status Job ID Name Coverage
  External
canceled SlapOS.SoftwareReleases.IntegrationTest-Jerome-WIP2