Merge branch 'feature/patrick/lint-some-files' into 'master'

.git-blame-ignore-revs

.gitattributes

doc/code/docgen.ml

doc/developer/METADOC.txt

doc/developer/TODO

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/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

...veloper/tutorial/viewcfg/src/print_cfg_vstmt_aux_value.ml

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