Allow stopping current solver task, fixes #3.