Update README.md
Merge pull request #3 from RuleML/master

update README