scripts/renamepatches: Tool for unifying patch filenames across
branches.
It often happens that different developers add patches under different
names to different branches. When the branches are merged the patches
are added twice instead of causing a conflict.
Renaming patches in advance in one of the branches makes merging much
more straightforwared.