Migrated MacPorts and Darwin to OCaml

Untested.