All Fixnum#modulo specs passing now.

Implemented the changes done in pull request #814 entirely in RPython.
It is currently performing everything based on bigints. We can still
optimize that, by implementing different versions of modulo for Float,
BigInt and Fixnum, but I do not know how much of an performance issue this is.