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.