Release 0.1.7
Merge branch 'development' of https://github.com/openworm/org.geppetto.frontend.git into development