solarized theme plus add lein profile