Automatically sync exercises and solutions
It would be good to automatically keep exercises and solutions in sync. I am imagining annotating the solutions files with comments which guide a script that removes the proofs. Similar to
make MAKE_REF=1 we'd expect contributors to run that script before committing, and would keep the generated exercise files in the repo.