Ketchup is a python tool for updating or switching between 
versions of the Linux kernel source. It can:
 * find the latest versions of numerous KernelTrees
 * calculate which patches are needed to move to that version
 * download any patches or tarballs that aren't cached
 * check GPG signatures where available
 * apply and unapply patches to get the desired result