fix gringo debug output
Merge branch 'master' of github.com:hexhex/core
two questions/warnings
small improvement in existential implementation
Merge branch 'master' of github.com:hexhex/core
additional (deactivateable) benchmarking for initialization of ClaspSolver
Merge remote-tracking branch 'origin/master'
fixing wrong backends in testsuite
removing questions and adding a bit more intuition
improving efficiency by replacing map with constant time vector and preallocation

(only 2% speedup, but that's better than nothing)
(also contains more assertions than before)
some fixes to make dlvhex compile under Mac OS X (it compiles now but does not run, something seems to be wrong with libtool)
edit osxconfigure
remove configureosx.sh
fixosx
fixosx
fix for Mac OS
fix for Mac OS
fix configure.ac
fix configure.ac
fix osxconfigure.sh