add jenkins_job_timeout support for doc and devel jobs (requires new release of rosdistro)