Updated local copy of highlightjs, changed back to serving it ourselves