Mentions légales du service

Remove outdated extraction driver (fix #843).

Guillaume Melquiondrequested to merge
remove-ocaml-unsafe-int-drv into master

Support for it was removed between Why3 0.88 and 1.0.

Merge request reports