Add an option for configuring indentation size in the pretty printer.

I find it really hard to see the difference between different indentation levels in an xterm after the new PrettyPrinter code went in. This patch allows me to use the full width of my 80 column xterm!