Allow cancellation of running crawls

Button is there. No functionality, however.

(from redmine: issue id 1120, created on 2018-08-07tgradl, closed on 2018-08-07)