delete some unused functions
move the pretty-printer files into a separate directory

they take a long time to load, and this enables me to easily make a heap
out of them pre-loaded.
move allIntermediates to a new allPP

this means buildPP is essentially just the IO handler and all the HOL
evaluation and pretty printing stuff is pre-loaded in the heap.