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

@cosmoharrigan, I've begun updating the Socrates demo so it can be demonstrated. I've included instructions and updates and am looking to resolve the outstanding issues. However, while running the demo on ```socrates-r2l.scm```, the AbductionRule didn't execute. I reviewed [the discussion during its implementation](https://github.com/opencog/opencog/pull/777) but nothing there was indicative of its current failure. When I copied only the relevant atoms to ```abduction-test-file.scm```, it worked -- which I find pretty weird since these are the exact same atoms that are also present in the other file on which it doesn't work. I was wondering if you or someone else has an idea what causes this.