[Eva] Renames plugin directory from value to eva.

.gitignore

nix/frama-c.nix

nix/internal-tests.nix

src/kernel_services/ast_queries/logic_typing.ml

src/plugins/eva/.gitattributes

src/plugins/eva/Changelog_non_free

src/plugins/eva/Eva.ml.in

src/plugins/eva/Eva.mli.in

src/plugins/eva/alarmset.ml

src/plugins/eva/alarmset.mli

src/plugins/eva/api/general_requests.ml

src/plugins/eva/api/general_requests.mli

src/plugins/eva/api/values_request.ml

src/plugins/eva/api/values_request.mli

src/plugins/eva/domains/abstract_domain.ml

src/plugins/eva/domains/apron/apron_domain.ml

src/plugins/eva/domains/apron/apron_domain.mli

src/plugins/eva/domains/cvalue/builtins.ml

src/plugins/eva/domains/cvalue/builtins.mli

src/plugins/eva/domains/cvalue/builtins_float.ml