dev-lang/ocaml: Hard-enabling ocamlopt
dev-ocaml/lablgl: ocamlopt now hard-enabled
dev-lang/coq: ocamlopt now hard-enabled