mergetool: Make ECMerge use the settings as specified by the user in the GUI