Delete MapTermTable
Add Config
Add IdManager the map not hash of pair
Merge branch 'master' of https://github.com/dave90/DlvGrounder1.git
Merge branch 'master' of https://github.com/dave90/DlvGrounder1.git
Add Hash MurMur function
Add Boost_combine
Add Config