Merge branch 'github' into develop
Bump version number to 0.7 for configuration.
Merge branch 'develop' into github