Fixes #66: It should be possible to put analysis in background
Fixes #72: Canceling a local analysis does not work