Opening a pull request for opencog-atomspace and opencog-docker