Tidy up the distribution.  Change version number to 0.71.