README still mentions missing Redis example

[Paolo G. Giarrusso]

I read

See knossos.core for the linearizability checker, and knossos.redis for an model that can generate histories verifiable with Knossos.

I was confused by not finding knossos.redis or variations, till I dug into history and found 08166a4. What's an example model to get started now?

[Kyle Kingsbury]

Cleaned up stale refs from the readme, thanks.