Introduce diff-hl-highlight-function
New global mode: diff-hl-margin