Download and install lein as well