Extend fmpqxx.

- random generation
- modular reduction
- rational reconstruction