Add a bignum-test program. Dummy, so far.