Generalized the pretty-print entry points to support `-o <file>`.

This is laying ground-work for the control-flow graph `--pretty` format that I want to land next.