Development/gerrit/compare

Comparison of fd.o git and gerrit
This assumes we have completed the migration and gerrit.libreoffice.org is the default push-to location.


 * Where CHANGEID can be the "I " identifier, or just the int number from the URL.