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`.

I can add a C-level fast validator if that's considered worthwhile.