Fix documentation and call it 1.4.0.

The CVS $$ attributes don't work with git any more, so replace their
use a bit. Document stuff to be able to make a release.