[Lint] fixes some files

src/plugins/e-acsl/examples/ensuresec/.gitignore

 build/
 __pycache__/
-.env
+.env
\ No newline at end of file

src/plugins/instantiate/README.md

@@ -127,4 +127,4 @@ let () = Transform.register (module struct
   end)
 ```
 
-The role and types of each function is documented in `Instantiator_builder.mli`.
+The role and types of each function is documented in `Instantiator_builder.mli`.
\ No newline at end of file

src/plugins/value/legacy/TOREMOVE

@@ -8,4 +8,4 @@
 
 
 To be moved elsewhere, probably in domains/cvalue or in engine:
-  eval_annots, eval_terms
+  eval_annots, eval_terms
\ No newline at end of file