certifiedSAT bug removed
Merge branch 'master' of ssh://git.code.sf.net/p/edacc/edacc_client
kill verifier if corresponding job is killed