A Coq plugin to do extraction to Clojure