config.txt: move difftool.* to a separate file