Renamed socrates repo for better identification
Updated README
Fixed AbductionRule error
Fixed README formatting
Some changes to README, corrected parameter setting
Minor changes
Fixed merge conflicts
Reverted some changes that appeared in merge conflicts

Removed check from agent as it is already performed in demo;
check is still available in attention_allocation_agent
Merge pull request #945 from sebastianruder/demo

Update of the Socrates demo to make it suitable for demonstration purposes