Adding a prettyprint class so that we can format the code with google-code-prettify