(re)import some ocaml ports needed for math/coq and devel/frama-c updates

Hi,

to update math/coq lablgtk3 is needed which in turn depends on
ocaml-cairo and ocaml-configurator.
new frama-c needs ocaml-yojson, which will pull in ocaml-cppo
ocaml-easy-format and ocaml-binio with it.
All except ocaml-configurator where removed from ports more or less
recently.

ok to (re)import those ports? SUBDIR entries and quirks will need to be
modified afterwards.


Christopher

--
http://gmerlin.de
OpenPGP: http://gmerlin.de/christopher.pub
CB07 DA40 B0B6 571D 35E2 0DEF 87E2 92A7 13E5 DEE1