Add runsolver support

[ozgurakgun]

The new command line options are the following:

 runsolver:
      --runsolver-cpu-time-limit=INT          Use runsolver to limit total CPU time (in seconds)
      --runsolver-memory-limit=INT            Use runsolver to limit total memory usage (Maximum RSS - in megabytes).