Warn when no CPU-time limit is specified when submitting runs to BenchCloud#1254

Po-Chun-Chien wants to merge 2 commits intomainsosy-lab/benchexec:mainfrom

cloud-warn-no-cpu-time-limitsosy-lab/benchexec:cloud-warn-no-cpu-time-limitCopy head branch name to clipboard