Add version numbers to released files. Set version to 0.7.1

Instead of using git revision counts for version numbers, use explicit
versions numbers configured in the configure.ac file. Expose published
files with version numbers.

Signed-off-by: Keith Packard <keithp@keithp.com>