feat(builtin/kernel): add skolem_th, we need it to justify skolemization preprocessing step

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(emacs): syntax highlight

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(emacs): syntax highlight