shutdown the active crawler on SIGINT. fixes #450