Improve messages slightly
Error if Coq was found in something other than coqbin