devtools: add script to ease backport of renamed files