Release procedure:

1. "make count" to get the number of NKIs.

2. Patch the version number and tagline in configure.in.

4. Create a directory corresponding to the tagline on SourceForge.

5. Make dist, triggering a reconfigure so the new version number is used.

6. Commit and push to the repo.

7. Do 'make ship'.
