bump-tantivy

Bump tantivy to the latest commit on main branch, fix compilation issues, and open a PR