Merge branch 'release/0.140' into develop
updating step to include files outputted by latest verion of sga
fixed debug line that caused trigger failures
Merge branch 'develop' of /software/vertres/git/origin/vr-pipe into develop
fixed so that full triggers only occur if there are fewer incomplete subs than elements, not the same amount; full trigger verbosity increased
server now kills off submission handlers we definitely do not need anymore; a proper overhaul of submission handling is needed though...
Merge branch 'develop' of /software/vertres/git/origin/vr-pipe into develop
version bump
Merge branch 'release/0.141'