Revert "Ordered evars by level of dependency in the merging phase of unification"
Revert "Ordered evars by level of dependency in the merging phase of unification"

Though this commit provides with more "natural" instances of metas
found by unification, it breaks a few contribs. The best approach to
try is maybe now to instead plug apply on evarconv.ml, rather than on
unification.ml!

git-svn-id: 44dc50bdcc0f5d1a212c497508dc9452e0b35e2b@16191 85f007b7-540e-0410-9357-904b9bb8a0f7

pirbo/coq,shindere/coq,shindere/coq,gares/coq,maximedenes/coq,SkySkimmer/coq,mattam82/coq,mattam82/coq,letouzey/coq-wip,mattam82/coq,Matafou/coq,SkySkimmer/coq,barras/coq,letouzey/coq-wip,8l/coq,ale-f/coq,jpdeplaix/coq,8l/coq,silene/coq,maximedenes/coq,mlasson/coq,Matafou/coq,herbelin/github-coq,gares/coq,TheTypoMaster/coq,maximedenes/coq,jpdeplaix/coq,silene/coq,coq/coq,pirapira/coq2rust,william-lawvere/coq,gmalecha/coq,coq/coq,Lionel-Rieg/coq,TheTypoMaster/coq,ejgallego/coq,Ptival/coq,Ptival/coq,ppedrot/coq,aspiwack/coq,mlasson/coq,amintimany/coq,asr/coq,gares/coq,herbelin/github-coq,maximedenes/coq,pirapira/coq2rust,pirbo/coq,ppedrot/coq,asr/coq,jpdeplaix/coq,8l/coq,coq/coq,Lionel-Rieg/coq,Matafou/coq,ale-f/coq,pirapira/coq2rust,silene/coq,Lionel-Rieg/coq,barras/coq,SkySkimmer/coq,JasonGross/coq,letouzey/coq-wip,gares/coq,TOSPIO/coq,Ptival/coq,maximedenes/coq,ppedrot/coq,JasonGross/coq,SkySkimmer/coq,ppedrot/coq,aspiwack/coq,barras/coq,TOSPIO/coq,mlasson/coq,gmalecha/coq,JasonGross/coq,gmalecha/coq,Zimmi48/coq,ppedrot/coq,shindere/coq,JasonGross/coq,Zimmi48/coq,ejgallego/coq,ejgallego/coq,herbelin/github-coq,letouzey/coq-wip,amintimany/coq,TOSPIO/coq,aspiwack/coq,TheTypoMaster/coq,asr/coq,pirbo/coq,ejgallego/coq,Zimmi48/coq,william-lawvere/coq,letouzey/coq-wip,ale-f/coq,coq/coq,gares/coq,william-lawvere/coq,Zimmi48/coq,amintimany/coq