INSTALLATION and lemma/README.md updated