Update highlight.js

made diacriticInsensitive an option that can be set instead of default behavior