new backend: ocaml-kafka

[struktured]

kafka is the spark backend so it seems like an excellent choice for maintaining a stream of probabilistic queries. Also it has ocaml bindings already, so half the work is done.