Record ABI hash/info for official bindists
Given that there has been issues with the updated bindists for 9.0.2 (because of missing profiling libs) wrt ABI, I suggest to add a separate file that has explicit information about ABI for every bindist.
The format (as in: what constitutes the ABI hash) probably could be debated, an example is in the HLS wrapper script.
Even if there is no re-upload of bindists, this would allow to quickly check compatibility with other bindists without unpacking.