paper: Fix description of Stinson-Wu protocol.

They don't hash the challenge value.  They ought to (it makes the
reduction more efficient if you consider multiple challenges), and they
did in the first version, I'm sure.

Minor tidyings for first ePrint submission.

Add build system.  Write most of the introduction.

Initial commit -- work in progress.