[Eva] Change Domain_builder.Complete signature.

This functor automatically builds some abstract domain functions.
It must now be called at the beginning of the abstract domain module, so that
the built functions can be redefined by the domain if needed.