CoFloCo examples, following their translation recipe
Keep all external things in provers/
Add CoFloCo things to evaluation harness