Update release index and bump release number accordingly.
New script release.py automates the process of making a release.