[Lint] Bring back lint make rule

Makefile

ptests/ptests.ml

src/kernel_internals/runtime/fc_config.mli

src/kernel_internals/runtime/special_hooks.ml

src/kernel_services/abstract_interp/abstract_memory.ml

src/kernel_services/abstract_interp/int_Intervals_sig.ml

src/kernel_services/abstract_interp/lmap_sig.ml

src/kernel_services/abstract_interp/offsetmap_bitwise_sig.ml

...rvices/abstract_interp/offsetmap_lattice_with_isotropy.ml

src/kernel_services/abstract_interp/offsetmap_sig.ml

src/kernel_services/cmdline_parameters/cmdline.mli

src/kernel_services/plugin_entry_points/kernel.ml

src/libraries/utils/filepath.ml

src/plugins/gui/GSourceView.2.ml

src/plugins/gui/GSourceView.3.ml

src/plugins/inout/context.ml

src/plugins/metrics/register_gui.ml

src/plugins/scope/scope.mli

src/plugins/studia/Studia.ml