ProtoGalaxy: Efficient ProtoStar-style folding of multiple instances

In case there are people following zero-knowledge proof advances, this is the last breakthrough, which allows to compress long-running computations into a single proof.