Wall-clock timeout#852

Tomaqa wants to merge 6 commits intomasterusi-verification-and-security/opensmt:masterfrom

timeoutusi-verification-and-security/opensmt:timeoutCopy head branch name to clipboard