Fix executeCommandsTime on Linux
Fix executeCommandsTime on Linux

/usr/bin/time writes to stderr so we need to parse that to extract the times instead of stdout

ShiftForward/ridgeback,ShiftForward/ridgeback