Bump to Djblets 0.7.20 dev.