Making the Socrates demo work

Split into two pull requests: https://github.com/opencog/opencog/pull/765