This gives the semantics that I described in the previous
commit. Conflicts will be resolved by keeping both sides in the file,
and without conflict markers. This is not expected to be perfect, but
is expected to be easy for people to fix up without having to think
much about it.