Add in builtIn the calculate of binop
Add builtIn and ArithTerm in grounding
Merge branch 'TestGroundingWithoutIdManagerForFact' of
https://github.com/dave90/DlvGrounder1 into
TestGroundingWithoutIdManagerForFact

Conflicts:
	DlvGrounder/src/utility/Timer.h