Let the solver timeout be configurable on the command-line

Requested by #685