Differentiate between max CPU time and max real time

- The execute_process() family now take two parameters for timeout scheduling,
  one for CPU time, the other for real time.  The former is utilized by
  setting a resource limit on the child, while the latter uses an alarm
  signal.
- Instead of --max-time, the program now uses --max-cpu and --max-real
  so that the user can specify either.