Merge branch 'feature/michele/eva-optional-tests-on-eva-label' into 'master'

[CI] Automatically run eva-domains tests on branches satisfying the regex *[-_/.][Ee]va[-_/.]*

See merge request frama-c/frama-c!3960