create "formally solved here"

Those should mark problems that have a proof within the main branch of Formal Conjectures. 
Currently those are marked as "research formally solved" only, not allowing the distinction.

Also: create a linter that flags up problems that have a proof and are marked "research solved" (but should be labelled "research formally solved here". 