Continuously builds all semantics plug-ins upon repository changes.

Build: #192 was successful Changes by Christian Motika <cmot@informatik.uni-kiel.de>

Code commits

KIELER Semantics