Merge pull request #7 from FiatInsight/andrew

Andrew
Merge pull request #8 from FiatInsight/andrew

changed Readme back
Merge pull request #9 from FiatInsight/andrew

Updated README
README updates