Bump to Djblets 0.8 beta 3 dev.