Implement batch processing of input proofs in the CLI

Also upgrade scopt to version 3.1