Search jobs can be canceled and show progress

The search jobs now show their progress by means of a
total percentage of the occurrences that have to be type-checked and
show which file is being type-checked right now.

Jobs can now also be stopped.

Fixes #1001737
Merge pull request #53 from mads379/1001737-show-progress-on-searches

Search jobs can be canceled and show progress