Add a README.

This is half as many lines of Markdown as the repo currently has lines
of Haskell source. I suppose it could double as an early draft of an
academic paper on the project...