Added missing headers to tarball and dist-check to release.sh.
Release 0.13.7.1.