Point tickets to GitHub instead of Lighthouse

Keep into account the numbers reshuffling: Lighthouse bugs with a number
matching a GitHub merge request are shifted ahead.
Added plural version of the tickets role
Migrate more tickets and further away

Starting the import operation now...
Merge branch 'drop-lighthouse' into maint_2_5