Update leiningen to 2.0.0, remove devel branch

Leiningen 2.0.0 has been release, thus deprecating the devel 2.0.0-RC2.