Inference-specific resource constraints

[Broes De Cat]

Code has been added to the search gets a time bound. This can be generalized so that any inference can be given a timeout, and possibly other resource constraints. runidp and Timer.hpp still share quite some code on this matter, which should be refactored.