Merge pull request #12 from greenTara/master

change in index.html
Update README.md

formatting fix-up
Merge pull request #2 from RuleML/master

update README