Merge branch 'master' of gitlab.aei.uni-hannover.de:finesse/pykat

2 jobs for master in 21 seconds (queued for 3 seconds)