Release Djblets 0.8.13.
Merge tag 'release-0.8.13' into release-0.8.x