mergetool: document the default for --[no-]prompt