[tor-commits] [onionoo/master] Bump version to 8.0-1.25.0-dev.