Some utilities to keep track of modified/backported Debian packages in git