Merge pull request #2 from opencog/master

pulling recent changes to my fork...
Merge pull request #3 from opencog/master

pulled changes
Merge branch 'master' of https://github.com/opencog/opencog
Update tree.h-- removed unused code for a cleaner build
Merge pull request #218 from 5aurabhpathak/master

Updated util/tree.h-- removed unused code for a cleaner build