extending a comment
added OrdinaryAtomTable::getIDAddressByStorage
added EAInputTupleCachePtr eaInputTupleCache to registry

(this is an opaque type, to be used internally in BaseModelGenerator)
removing global ProgramCtx hack

(it is simply not necessary as we have the config in the ProgramCtx)
added external atom input tuple cache
using PredicateMask instead of (very slow) getRangeByPredicateID
added comments about bad efficiency of getRangeByPredicateID
fixing bug in nogood propagation
fixing bug in ExternalAtomMask
making problems with nogoods more visible
Merge remote-tracking branch 'origin/master'
Merge branch 'master' into ps