getTimeout

The -t/--timeout option's value (milliseconds, defaulting to DEFAULT_TIMEOUT), converted to the TimeDuration expected by it.unibo.tuprolog.solve.Solver.solve. Exposed so TuPrologSolveQuery can reuse the same timeout its parent command was configured with.