un-do '--use-internal-solver'

It leads to ocamlfind being upgraded and downgraded all the time, which leads to
Coq being recompiled.