Update version numbers and other changes before 0.13 release
We need to bump version numbers, update ChangeLog and possibly apply other changes prior to the 0.13 release.
We need to bump version numbers, update ChangeLog and possibly apply other changes prior to the 0.13 release.