fix result type of limited_solve
use one MVar for signalling, one for result
propagate exception properly (as suggested by marlowsd)
Merge pull request #2 from jwaldmann/master

add withNewSolverAsync