Update README.md

updates copied from ruleml-website