CHG put theia on the same domain as the website

[wabscale]

We will need to figure out how to configure theia to run on a different base url path. Something like anubis.osiris.services/ide/proxy would probably work fine.

We would probably then need to configure the theia builds here and here. Then we would need to remove the THEIA_DOMAIN config, and replace it with something like DOMAIN.

Then quite seperately we would need to change the theia proxy IngressRoute definition