Started using arbitrary precision arithmetic
Integration of arbitrary precision arithmetic
Everything uses arbitrary precision arithmetic
Completed documentation
Merge pull request #41 from chsticksel/kind2-server

Everything uses arbitrary precision arithmetic