Barret reduction

Added Barret reduction for modular exponentiation, sadly not faster
than Montgomery reduction (yet)