README updates
Merge pull request #10 from FiatInsight/andrew

README updates