work on existential quantifiers
add an example for ExistsPlugin
add hash external atom
introduce two benchmark counters
small fix in Greedy heuristics
small improvement in Greedy heuristic
Merge remote-tracking branch 'origin/master' into release2x
bugfix in decision level update