A [Env] REDO_LOG_PID
A [Env] REDO_DEBUG
-log-pid ($REDO_LOG_PID=1) can be used to prefix job's stderr with the
PID, that could be useful during parallel builds. -d ($REDO_DEBUG=1)
enables debug messages.
