rf: clean up argparge
rf: move code into function so can call from code
add: support for printing xml, provn, or turtle
rm: drop CMLTagCollection type
fix: use same tag used in xml as the type
Merge pull request #1 from nicholsn/cml

cml2provn script cleanup