Support overriding diff options in project config (& for individual units)#263

encounter merged 2 commits intomainencounter/objdiff:mainfrom

project-config-optionsencounter/objdiff:project-config-optionsCopy head branch name to clipboard