C.1 Release 0.13b2

There are no significant changes from 0.12-2. However the build system changed significantly when the repository was relocated, and this warrants a new minor version, since the required changes, though they should be leaving the functionality unchanged, are more than just bugfixes.