hgrc: Enable both hg-convert and hg-git.

Convert does a simpler job, but hg-git produces more deterministic changesets.
vim syntax: Update Isabelle syntax.