also list `formally solved` on stats page

Make sure our new `formally solved ...` categories are represented at

https://google-deepmind.github.io/formal-conjectures/

Perhaps both also aggregated as "solved", "formally solved" (and then split up by `formalProofKind`