upgrade to lein2, replace the doc system from autodoc to codox