added lein-tools for REPL plugin use