find a way to correctly "Kill" XSB mid-query execution

Attached is a file that timeouts during XSB calculation of a query.

The interrupt signal is not properly translated into a thread_kill for XSB (whichever way this should be achieved - pending contact with XSB devs should point this out).

Some work on this issue has already been done in the branch xsbfix