Strategy: no Polo2, ever
Move evaluation harness into the repository

This does not include the actual prover binaries, which need to be
downloaded/requested from their respective authors for obvious licensing
reasons.