Removed k3ocaml parser

Requires installing new version of k3-driver