New formulas: mpir and flint

Provided are formulas for libraries for multiprecision integer and number theory computations.
Flint depends on mpir library.