Fix mirroring from upstream to downstream with ranges

[queengooborg]

This PR fixes the mirroring script when ranges are involved. Apparently, if the upstream release was a range, the downstream browser would not be a range, which meant that various bits of data was not set to mirror when it should. This PR fixes this by introducing some logic that checks if the previous release (before the matching release) uses the same engine as the upstream browser, and if the upstream has a range, it adds the range delimiter.

The engine check for the last release is to help remove range delimiters where there not needed. For example, if the resulting version is Edge 79, we know that it's pointless to make it a range ("≤79") since Edge 18 and earlier used a different browser engine. As such, this change now produces the following:

• Chrome 80 -> Edge 80
• Chrome ≤80 -> Edge ≤80
• Chrome 79 -> Edge 79
• Chrome ≤79 -> Edge 79
• Chrome 24 -> Edge 79
• Chrome ≤24 -> Edge 79

Caveat: due to this change, some data can no longer be mirrored for Firefox Android and Opera Android. This is a minor caveat, however, since they'll be automatically fixed once the ranges are replaced with proper version numbers.

Fixes #23855.

[Elchi3]

This PR needs to be reviewed with the approach proposed in https://github.com/mdn/browser-compat-data/pull/23856.

[queengooborg]

Ah, I forgot there was an existing PR that also did this, or at least something similar.

Since Philip is now away and won't be back for a long while, I think that we should close that PR and combine its changes into this one. I say this because I'd request changes on some of the code for both bug fixes and improved logic.

One key difference between that PR and this one is that it bases whether to add the range delimiter if the downstream version is the first release, but this PR only adds the range delimiter if the downstream version is the first release of the matching engine version, which means that less ranges are introduced during mirroring. (In Philip's PR, Chrome 23 would still become Edge ≤79 during mirroring.)

[github-actions[bot]]

This pull request has merge conflicts that must be resolved before it can be merged.

[github-actions[bot]]

This pull request has merge conflicts that must be resolved before it can be merged.

[queengooborg]

Since the changes requested have been applied, I'm going to go ahead and merge this since an LGTM was given!