Release Checklist

One time changes as we make the 1st release:

• Update autogen-version to switch the Zeek naming scheme (prerelease="dev-${commit}")

General process:

• Update release version in doc/conf.py (we could put this information somewhere else, too).