Bug Fix: computing eps honors shared disequalities

Previously, we did not care about shared disequalities when
computing epsilon.  Previously, in a situations where the solver
has the pre-model a != b, a = 1+eps, b=2, it could choose eps=1
which lead to assertion errors and wrong models afterwards.
Check for TerminationRequest in Clausifier
Fix warnings.
Merge branch 'master' into proofchecker
Fixed some PMD warnings.
Fixed a crash in the delta debugger.

The delta debugger made a wrong assumption while removing neutral elements.
This lead to a crash when for example an "and" could not be replaced by "true",
but had to remain.  Now, I try to replace it by a binary "and" with parameters
"true" and "true".
Fixed bug in DeltaDebugger.

removeNeutrals was broken in the delta debugger for numeric terms as well.  Now
we replace an empty sum by the sum of two zeros.
Bug Fix: Fix computation of mCount
Merge branch 'master' into proofchecker