Release Djblets 0.8.12.
Bump to 0.8.13 dev.
Merge branch 'release-0.8.x'