Add Integer trait type.

This PR adds an `Integer` trait type, which accepts both Python ints and Python longs.  In addition, it accepts instances of any Python type that implements `__index__`; this includes instances of `numbers.Integral`. (EDIT: Or at least, instances of types that inherit directly from `numbers.Integral`.)

I can add a C-level fast validator if that's considered worthwhile.