Version bump to 0.7.2

Thanks! (P.S. They have not yet tested against the latest version of angularjs.)