Add a pause button

[paulmueller]

To be able to pause the analysis and resume later