Add prettyify.js to be precompiled