Refactoring propagation
Merge branch 'replay' of https://github.com/openworm/org.geppetto.frontend into replay