A Caml implementation of the Monte Hall problem.