[Eva] Sets domains names when building them in abstractions.ml.

In domains, changes [Store.register_global_state] that now takes a boolean
argument indicating whether the domain states must be saved during the
analysis.