nodebug repo feedback

[Bruno Wolff III]

Observations:

Not having it obvious in the kernel name that it was a kernel from the 
nodebug repo caused a minor amount of confusion.

A normal rawhide kernel and a nodebug repo kernel both ended up with the 
name 3.7.0-0.rc5.git1.3.fc19.

A normal rawhide nodebug kernel is still being built once per rc.

There seems to be a lot of variability in the lag of when a nodebug version 
of any particular rawhide kernel.


Suggestions:

Instead of bumping the release number for nodebug kernels and the string 
".nodebug" to the end of the release. For example: 
3.7.0-0.rc5.git1.3.fc19.nodebug

Always build debug kernels for rawhide.

Automate building of nodebug kernels so that once a rawhide kernel has 
successfully completed building in koji, the same kernel gets rebuilt 
as a nodebug kernel. Check on the order of hourly.