Fixed bugs in SyncedTraces
Fixed bug in BUnit view
Merge remote-tracking branch 'origin/develop' into develop
Merge
Merge remote-tracking branch 'origin/develop' into develop

Conflicts:
	de.prob.core.kernel/src/main/java/de/prob/testing/ProBTestRunner.java
Merge remote-tracking branch 'origin/develop' into develop
Merge remote-tracking branch 'origin/develop' into develop
Merge remote-tracking branch 'origin/develop' into develop
PROBCORE-498 Working on Theory Support