Added prover quorum to project files and command line.#981

strub merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

project-quorumsEasyCrypt/easycrypt:project-quorumsCopy head branch name to clipboard