Removing the Evd.merge function.

Its semantics was dubious, and it was not used anymore anyway.