Better debug message with broken coq installations
A user complained that coquille couldn't find coq, but coq was installed. Turned out debian doesn't provide coqidetop, but coqtop and coqc work well. The error message should say exactly what failed, not just "coq"