[build] no more configure

.force-reconfigure

.gitlab-ci.yml

Makefile

bin/rebuild.sh

configure.ac

dev/make-distrib.sh

doc/developer/Makefile

ivette/INSTALL.md

ivette/Makefile

nix/api-doc.nix

nix/frama-c-checkers-shell.nix

nix/frama-c.nix

nix/internal-tests.nix

nix/src-distrib.nix

opam/opam

share/Makefile.common

share/Makefile.config.in

share/Makefile.linting

share/Makefile.testing

share/configure.ac