build: bump version numbers for 0.7.2 release
build: bump version numbers for 0.7.2 release

Base and API version numbers bumped to reflect latest changes. VERSION =
'0.7.1' wasn't set for the previous release, but it's currently unused
so won't cause any problems.

Signed-off-by: David Disseldorp <589a549dc9f982d9f46aeeb82a09ab6d87ccf1d8@suse.de>

ddiss/elasto,ddiss/elasto