Increment version number to 0.7.2

Increment version number to 0.7.2 #522