For the purpose of seeding op-challenger, we need only the proof files.

This change adds a separate target that outputs only these.

Unfortunately, docker outputs can be pretty slow, so avoiding dumping
the heavier binaries makes a significant differente performance-wise.