automatic rejudging of stale submissions (because problem resource limits or test data changed)