Add ocaml prime-factors

This example is based on @gvaughn's solution for the Elixir exercise
since that works nicely with the imperative loops of OCaml.