renamed some pp_* to print_* where appropriate

pp_* looks like it could be used as formatter. print_* looks like it
prints.

Conflicts:
	src/prover/prover.ml
	src/utils/debug.ml
typos