update version to 0.7.2

Signed-off-by: Andy Grover <agrover@redhat.com>