select addons that have changed between two git refs

[sbidoul]

Inspiration to be had in pre-commit and oca-github-bot.

To investigate: UI to reveal changed/new/deleted addons (could be json only). In a first iteration, a selection of changed and new is sufficient.

To investigate: the OCA git bot does a merge before comparing. Check if this is necessary / useful here.