replace stripDiacritics with a faster version

This has some impact when the list of options is big!.