Diacritic insensitivity

This adds an option (similar to case sensitivity) for diacritic insensitivity in highlighting
default is false (current behavior / diacritic sensitive)
use true to make highlighting diacritic insensitive.

possible issues:
the character map is stored in highlight.js, which I don't think is the best place for it.