add sample: towers of hanoi

sample comes from https://github.com/clojure/core.logic/blob/master/src/main/clojure/clojure/core/logic/bench.clj