Extend cbmc-incr-oneloop timeout with CMake#8701

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:extend-timeouttautschnig/cbmc:extend-timeoutCopy head branch name to clipboard