Respect the COQBIN environment variables

This allows us to specify a non-system Coq to build with, by, e.g.,
setting COQBIN=~/.local/coq/coq-trunk/bin/.
Require Import Omega

This is required in trunk to use the [omega] tactic.