Design and implement a proper consumer-facing API

Currently, the API is quite messy and meant to only be used by the web UI. There are groups of people who'd like to query and download statistics and solutions programmatically, and that feels difficult and hacky to do.

Consider implementing an OpenAPI compliant API, as well as potentially GraphQL.