It seems flags to coqc can only be set from a coq.theory stanza, while it would be nice to set them from profiles as well (as one can do for the options for ocamlc).

Cc @ejgallego