[Eva] Removes the -eva-name-domain options, replaced by -eva-domains name.

For the time being, these options are kept to maintain backward compatibility.
They are now invisible and produce a warning if used.
They are automatically generated when a domain is registered, and they simply
set up the -eva-domains option.