Fix build on platforms without ocamlopt

coq_makefile generates Makefiles that reference ocamlopt, even on
platforms without ocamlopt. Export `OPT=-byte` on such platforms to
prevent the generated Makefile from trying to invoke ocamlopt.