implement time limit setting

Thanks @mihai-sysbio for the suggestion.

Refs #807.

Author: exaexa

src/misc/settings.jl

@@ -56,4 +56,11 @@ Modification that disable all output from the JuMP optimizer (shortcut for
 """
 silence(opt_model) = J.set_silent(opt_model)
 
+"""
+$(TYPEDSIGNATURES)
+
+Portable way to set a time limit in seconds for the optimizer computation.
+"""
+set_time_limit_sec(limit) = opt_model -> J.set_time_limit_sec(opt_model, limit)
+
 export silence