Remove prettyprint header file

It is now included in the oomph-lib core, no need to include it myself.