Improve quo_rem computations

[saraedum]

The usual bottleneck of the whole Mac Lane infrastructure is the computation of quo_rems of say integer polynomials. Let's discuss how this can be sped up.

[saraedum]

The things that I'd like to investigate are to what extent Hensel lifting can be used here and maybe I can also use some ideas from https://arxiv.org/pdf/1602.01303.pdf.