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.