[devguide] better consistency between LaTeX index and code comments

doc/developer/advance.tex

doc/developer/check_api/check_and_compare.ml

doc/developer/tutorial.tex

src/kernel_services/ast_data/cil_types.mli

src/kernel_services/ast_queries/logic_typing.mli

src/libraries/datatype/datatype.mli

src/libraries/datatype/type.mli

src/libraries/project/project.mli

src/libraries/stdlib/FCHashtbl.mli

src/plugins/gui/pretty_source.mli