Simple examples of OCaml tactic modules for Coq that use Unix facilities