Export string based version of proof

The old file-based version is now available as proofFile
version bump