Move list of realized theories to a generated file: src/coq_config.ml

Moreover,
- Coq realizations are disabled for Coq < 8.3 due to coqdep bugs,
- Whyconf.magicnumber is incremented to ensure coqc and coqide are called
with -R,
- realizations for FP arithmetic are disabled if Flocq is missing.