add copyright notice / attribution to highlight.js; not my work!