Initial commit. gmpgen.py and theta.c are in-progress works.