binary writing for properties
Merge branch 'master' of github.com:otherlab/core
store/restore bugfixes
Merge branch 'master' of github.com:otherlab/core