Continuously builds all pragmatics plug-ins upon repository changes.

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