add some pretty printers
Merge branch 'master' of github.com:apunktbau/co4

Conflicts:
	CO4/Test/SL.hs
	CO4/Test/SL.standalone.hs

also, add Options parser