Frama-C API - Eva_info

Only loaded when Eva is loaded. Nothing is exported, rather the module does fill the functions of Md_gen.Eva_info.