[bugfix] Allow some potentially long-running index scans in structural index to abort immediately if requested to do so (e.g. during shutdown).
Merge branch 'develop' of github.com:wolfgangmm/exist into develop