definitions for BigInt by Baird Leemon.

distribution source: https://github.com/Evgenus/BigInt
original source: http://www.leemon.com/crypto/BigInt.html

redone #2572 to flatten history. + some fixes.