Merge pull request #218 from 5aurabhpathak/master

Updated util/tree.h-- removed unused code for a cleaner build
Add missing shared lib dependency
Merge branch 'master' of https://github.com/opencog/opencog