Bump version number to 0.7.2
Merge branch 'develop'