Release Djblets 0.7.16.