add jenkins_job_timeout for devel and doc jobs