set font-lock case-insensitive