implement BigInt code generation

src/main/java/leon/codegen/runtime/BigInt.java

src/main/scala/leon/codegen/CodeGeneration.scala

src/main/scala/leon/codegen/CompilationUnit.scala

src/test/scala/leon/test/codegen/CodeGenTests.scala