add prettyprint.js - fix typo in filename