Add -timeout parameter which aborts computation after this time, intended mostly for CI slaves
Add -timeout parameter which aborts computation after this time, intended mostly for CI slaves

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs