[headers] fixes some headers

bin/build-src-distrib.sh

bin/check-reference-configuration.sh

bin/check_newlines.ml

bin/git.sh

bin/indent.sh

bin/isutf8.ml

bin/lint.sh

bin/merge-master.sh

bin/migration_scripts/git-replace.sh

bin/rebuild.sh

bin/shift_oracles.sh

bin/update_api_doc.sh

bin/wp-qualif.sh

devel_tools/docker/Makefile

devel_tools/duplicates.pl

devel_tools/ocamldep_transitive_closure.ml

devel_tools/size.mli

doc/aorai/Makefile

doc/developer/Makefile

doc/developer/check_api/Makefile