[e-acsl] delete separate files for typing phase

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/src/analyses/memory_tracking.ml

src/plugins/e-acsl/src/analyses/preprocess_typing.ml

src/plugins/e-acsl/src/analyses/preprocess_typing.mli

src/plugins/e-acsl/src/analyses/typing.ml

src/plugins/e-acsl/src/analyses/typing.mli

src/plugins/e-acsl/src/code_generator/contract.ml

src/plugins/e-acsl/src/code_generator/injector.ml

src/plugins/e-acsl/src/code_generator/logic_array.ml

src/plugins/e-acsl/src/code_generator/memory_translate.ml

src/plugins/e-acsl/src/code_generator/translate.ml