move opencog Dockerfile