Add BigInt to Mozart 2

All the functionality should be there now.

* The code passes Mozart1's tests as well as some custom ones.
* It supports using GMP or not and detects it properly with CMake.

Can you review?