Bumping version to 0.7.2
Back to version 0.8.0-SNAPSHOT