elpa install through the proxy
only dowload lein if it doesn't exist