Add options to .proverc for better outputs
Merge pull request #2 from oguro1021/proverc

Add options to .proverc for better outputs