Don't clutter the IO with all these proof terms.

Usage:
  > caledon --io-only examples/hello.ncc
  name?
  world
  hi world!

Without --io-only, the IO is lost in a sea of proof terms.
Merge pull request #6 from gelisam/master

"Somebody plz write a wrapper"? No need!