win32: allow extra options for jhbuild.
NEWS: brag.
reduce_pi_half: ensure ieee semantics for doubles.