Usage is:
   penguin [options] spec.pen

where the options are:
   -d			Dumps; print various internal representations.
   -o file.s		Set output file (default is from spec name)
   -q			Quiet; silence progress/informational prints
   -t file		Send timing output to a file
   -v			Verbose; print more stuff

The files generated for dumps and timings are derived from the output
file name by removing the suffix .s, .S, or .asm (if any) and then
adding ".dump" or ".times" respectively.

See prints.txt for more information on what's printed to the various
files.
