Update deps, except clojure.

Still use 1.5.1 instead of 1.6.0 because of issue with records being
defined twice (once by core and once by core.logic).
fix typo in def: lc -> cl
do not import nominal in lf1, unless needed
LF-based encoding of the quine interpreter of @webyrd,
inspired by @TiarkRompf port to Leon:
http://leon.epfl.ch/#link/8cd013cb6d37a296f387bb58cbb094c5-1

This proves that mk with nothing more than unification can generate
quines! No need for != and absento or anything else. @webyrd is that
news to you?