Adds kb.lisp
Updates readme.