Theia update to 1.12.1

update theia and some dependencies, including:

• theia-open which should no longer segfault
• buildout language server which should not report so many false positives