release.sh: allow version of a more general form.
Makefile.am: include man page into dist, respect users CXXFLAGS.
Makefile.am: added prerequisites for man page.
Release 0.13.7.2.