Add cyclic group abstraction, with test code. Separate off exponentation

functions for better static linking.  Fix a buttload of bugs on the way.
Generally ensure that negative exponents do inversion correctly.  Add
table of standard prime-field subgroups.  (Binary field subgroups are
currently unimplemented but easy to add if anyone ever finds a good one.)