ByteCode and WithProf are incompatible.

- ocamlc doesn't support -p, so this combination should not be built.
- validation should not look for this files either.
- compilation of .mli in .cmi also uses ocamlc.

Signed-off-by: Jerome Maloberti <jmaloberti@gmail.com>