Add support of arbitrary multiprecision backend

[nkaskov]

Our current implementation is hardly bound to multiprecision cpp_int modular_adaptor backend.
The problem partially is that we have a lot of constexpr defined things, which are not supported by gmp and tommath backends. Probably we need to add some conversions between backends in the multiprecision.