Signed Biginteger type

[jon-chuang]

It should be fairly straightforward (with some care to details) to use what we have in the big integer library to define signed bigintegers.

The basic design would be to have the top level limb be a i64 and the rest of the limbs be u64s.