Sets the development version to 0.7.2-SNAPSHOT. I should have done it one revision earlier