Exporting Proof.split in proofview.
Fixing bug #3270. Patch by Robbert Krebbers.