Merge branch 'origin/sdf'
Added method to print tabs to the pretty printer.
Overriden some of the visitor's methods.
Merge remote-tracking branch 'origin/ahm' into sdf

Conflicts:
	core/analysis/refinementtool/src/main/java/eu/compassresearch/core/analysis/refinementtool/visitors/RefinePrettyPrinter.java