Some minor code and comment changes
Reformat everything to match the Linux style
Fix bug in mult_mod_int

Trying to compute e * (f*x + g) = res0*x+res1 did not set res1.
More tests for polynomial arithmetic
Add logging infrastructure & fix a nasty bug

The RQFT returned "composite" on every number that was not proven to be
prime in step 1.
Re-enable test checking the RQFT with a list of primes