Remove prettify from Javascripts
Remove prettify from Javascripts

Prettify was used in earlier versions of this template but was removed;
apparently I forgot this include and during a review this became
visible.

phpDocumentor/phpDocumentor2,phpDocumentor/phpDocumentor2,phpDocumentor/phpDocumentor2,phpDocumentor/phpDocumentor2