Linear Temporal Logic to Buchi Automaton Translation in OCaml