readme: Fix numbering, move terminology section down

[ci skip]
.gitignore: Add redis.json and *~

[ci skip]