An implemetation of the shor algo in OCaml