[Eva] Renames file cvalue_specification into logic_inout.

This file will contain all functions used by the inout and from plugins to
interpret ACSL predicates and assigns clauses.
It is now in the legacy/ directory.