
- Put the precomputable mu value for Barrett reduction into the
  keytable and pass it to the modexpm etc. functions.

- Try harder to use Barret; we may have to cascade it.

- Use a better scheme for allocating the BIGINTs

- Add some options to the tools

- Write a nice manual

