Update README.md

updates copied from deliberation-ruleml