Configuration directory for [theia](https://github.com/eclipse-theia/theia)

Theia is also used by gitpod