(branch-faster-f25519) add and sub now pass tests
mult.py: change to 9*29-bit model
(branch-faster-f25519): get multiply working
(branch-faster-f25519) get curve25519 working
branch-faster-f25519: add code for non-U64 support
branch-faster-f25519: optimise f25519mul_mini.c