Update all version numbers to 0.7.2 for release.  Also update my copyright
to the current year.