Added some more information in README. Modified the prover and verifier code to take a transctipt location option.