fixing glitches, improves autocomplete feature in console. hooking up
remaining functionality to make connections work in client for 302
Merge branch 'development' of https://github.com/openworm/org.geppetto.frontend.git into development