fix gringo patches
fixing wrong directory in patch (so all strip options can be the same)
adding patch for built source of gringo which comes from tarball

(just patching the r2c input file achieves nothing because
the output "parser.cpp" is already there so make will not invoke re2c)
some fixes for make distcheck
added missing files for make distcheck
fixing make distcheck, in particular clasp/gringo build for -fPIC
Interpretation::operator!=(...)
shortening benchmark messages
debugging and fixing propagation defer heuristics
more logical order of initialization for post propagator and realignment of ClaspSolver constructors
fixing incremental model computation, speeding up reportModel

speedup is due to using incremental model in reportModel and by reducing amount of copying that is done.
added comments on why no threading and reformatted comments
do not spam benchmarking for counters
adjusted benchmark width for counters and times

now formatting is nice
up to 9999 seconds (was: 999999) and
up to 99999999 counts (was: 999999 which was insufficient)
counting only once with the amount of nogoods
only copying interpretation if necessary
performance improvement for checking if interpretation is completely known for eatom evaluation

usage of bm::any_sub removes the need for a temporary bvector instance
one more benchmarking line
benchmarking only the non-mutex-waiting part of reportModel
extending a comment