Merge branch 'release/0.7.2' into develop
Add a null termination option to headerdoc2 to handle paths with spaces.
Update README
Merge branch 'release/0.7.3'