Update and rename README.md to runTSDProof.cxx