mp_integer: tests for multadd and split test file into two parts.

Compilation time for a single file is getting too long.
polynomial: modify a multiset not to use a lambda as comparer.

We need to review all usages of custom functors in standard containers and make sure no lambda are used.