prove2me

Return both proof and disproof errors from try_compile_solution

Use configured gatekeeper username for hiding solutions on Solved page

Add toggle to hide gatekeeper-solved statements on Solved page

Fix duplicate gatekeeper tasks across gunicorn workers

Add gatekeeper holding period with Harmonic Aristotle auto-prover