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.