Began work on a pretty printer for the refinement tool
Merge branch 'origin/sdf'
Added method to print tabs to the pretty printer.