Remove file that should not have been checked in
Merge branch 'master' of https://github.com/opencog/opencog into doxydoc
shell directory added as part of server high-level overview