Update version numbers.
Add new release version to download page.
Bring ahead devel branch.