Feature: support interrupting long processes

[danwt]

In abd3912 there is no support for interrupting long running processes (model checking) in a nice way that will return partial results.

The problem is that modeling work often involves a lot of stop-start, ctrl-c, ect. This way of working should be made easier and smoother somehow.

Note: I don't think this problem is easy to solve in a nice way