[Eva] Adds a priority order between the abstract domains registered in Eva.

Domains are built by increasing order of priority, so domains with higher
priority are added at the top of the domains tree, and thus are processed
first during the analysis.

This ensures that the cvalue domain (and other optimized domains) are always
called first in the engine.