added highlighter.js, changed manifest.json