Removes useless functions in Order
Renames Order to NewMark
Refactors some functions of Mark in Util
Util.last raises Not_found, no more Failure "last"
Adds a new Order module

This module implements the ordered point domain with the original
design (explicit remembering at the point level of the order of the last
entry for each variable in each buffer).
canal uses Order domain instead of NewMarked