Solving timeout

[tsionyx]

It would be great to have some optional timeout (e.g. in Solver::solve(&mut self, timeout: Option<Duration>)) to break out of the loop if the problem is too hard to solve in reasonable amount of time.