Code

difftool: add support for a difftool.prompt config variable