check-devel-kernel.sh: helper to find out if a new development kernel (right now, Raring) 
   is available for tests. If there is such a kernel, fire off the Jenkins' jobs, and
   save the current kernel version (so that we will not loop firing the tests).