Updated cider-refcard.tex and README.md as per bbatsov's comments on pull
request #716.