Radix-2^51 support

This pull request refactors the existing BigInteger implementation so all BigInteger-specific code is in a single subpackage. The Ed25519-specific radix-2^51 implementation from ref10 is then implemented, resulting in a considerable speed boost (signing is about 3.5x faster, verifying is about 8.5x faster).