[lint] fixes some files

.mailmap

doc/CHANGES.obfuscator

doc/acsl_tutorial_slides/1max.sh

doc/aorai/example/example.ltl

doc/code/docgen.ml

doc/developer/check_api/check_and_compare.ml

doc/developer/check_api/check_code.ml

doc/developer/examples/acsl_extension_ext_types.ml

doc/developer/examples/syntactic_check.ml

doc/developer/examples/use_callstack.ml

doc/developer/tutorial/hello/src/hello_test.c

doc/developer/tutorial/hello/src/run_log.ml

doc/developer/tutorial/viewcfg/src/dump_function.ml

...er/tutorial/viewcfg/src/dump_function_memo_clear_cache.ml

...tutorial/viewcfg/src/dump_function_memo_no_clear_cache.ml

...developer/tutorial/viewcfg/src/dump_to_string_memoized.ml

...oper/tutorial/viewcfg/src/extend_with_run_with_options.ml

doc/developer/tutorial/viewcfg/src/gui.ml

doc/developer/tutorial/viewcfg/src/print_cfg_vglob.ml

...loper/tutorial/viewcfg/src/print_cfg_vstmt_aux_novalue.ml