Grader: Allow specific timeout to be set for `check_execution`
Grader: Allow specific timeout to be set for `check_execution`

ChristianMoesl/selfie,cksystemsteaching/selfie,ChristianMoesl/selfie,cksystemsteaching/selfie,cksystemsteaching/selfie