Release Djblets 0.7.25.
Merge branch 'release-0.7.x'