Merge pull request #1006 from Alex-van-der-Peet/master

New OpenCog docker file - AvdP