Allow long-running index scans to be aborted

A badly written query may result in a time consuming scan through the structural index. If this happens, the query cannot be killed and eXist does not shut down cleanly. Solution: allow structural index methods to be aborted.