added boolean config parameter 'allow_different_solver_binaries', default is true
Merge branch 'master' of ssh://edacc.git.sourceforge.net/gitroot/edacc/edacc_client
timestamp handling removed from verifiers
Merge branch 'master' of ssh://edacc.git.sourceforge.net/gitroot/edacc/edacc_client