[eacsl] Propagate renaming changes

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/headers/header_spec.txt

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

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

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

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

src/plugins/e-acsl/src/code_generator/memory_observer.mli

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

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