update lemmad to 593150d
Merge pull request #2 from lemma/rediscovery

update lemmad to 593150d