Continuously builds all pragmatics plug-ins upon repository changes.

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