Initial version of irma-prover
README.md fixed