fix a bug in the docs
The fix for #32 implied an API change, so document it

Also follow the API change in Alex's own lexer, so that it bootstraps
again.
bump version to 3.2 (API change)