Final changes for release 1.25.
Enabling code coverage.
Fixing a banner bug with bin/ldiff

Fixes #21.