Support COQBIN
I just got the second request to support a COQBIN environment variable, so maybe we should just do that. I imagine something like what this Makefile does, so that not setting COQBIN follows the PATH.
I just got the second request to support a COQBIN environment variable, so maybe we should just do that. I imagine something like what this Makefile does, so that not setting COQBIN follows the PATH.