Nightly build of the Semantics theia branch

Build: #329 was successful Manual run by Soeren Domroes