[monero-project/monero] Bp multi aggregation pippenger (#4219)

It is now part of the «v8» patch.