Add an option for configuring indentation size in the pretty printer.
Merge pull request #62 from pjonsson/configure-indent

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