Kill signals are not propagated to the solver if xsb is used

[Bart Bogaerts]

If xsb is used for definitionevaluation, kill-requests sent at later times seem to be passed to the xsb process instead of the solver (when he is optimizing for example)