Tag a new release 4.0.

Mostly for the benefit of those who prefer a tagged release instead of
master.

Anyway, it has been too long since the last one.  The output of
`git shortlog..HEAD` was impressive.  Thanks to all of them who
contributed.