Enable electric terminators in Coq
Only warn if Isabelle is really installed