Add google-code-prettify in the working copy page

For the file renderer, add the google-code-prettify ( http://code.google.com/p/google-code-prettify/ )js library.

Samples page: http://google-code-prettify.googlecode.com/svn/trunk/tests/prettify_test.html