Make progress page and search bar use GraphQL

Rewriting the progress page and the search bar to use GraphQL will eliminate django-reverse-js, which is unmaintained and blocking !808 (merged) .