Continuously builds all pragmatics plug-ins upon repository changes.

Build: #2090 was successful Changes by Nis Wechselberg <nbw@informatik.uni-kiel.de>