changelog and dev version number for 0.7.2