lint] fixes some files

doc/code/docgen.ml

doc/developer/check_api/check_and_compare.ml

doc/developer/check_api/check_code.ml

doc/developer/examples/acsl_extension_foo.ml

doc/developer/examples/callstack.ml

doc/developer/examples/syntactic_check.ml

doc/developer/hello_world/hello_world.ml

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

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

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

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

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

doc/developer/tutorial/viewcfg/src/print_cfg_vfile.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/register_and_options.ml

...eveloper/tutorial/viewcfg/src/register_cfg_graph_state.ml

...per/tutorial/viewcfg/src/register_value_computed_state.ml

doc/slicing/algo.ml