cml2provn script cleanup

A few updates to the cml2provn script:

- break out parsing code into a function
- add main for calling parsing code
- add support for selecting output format
- print to stdout if no out directory specified
- pep fixes - indent 4 spaces