sa-lean --dump data

[Marc Perkel]

This command used to display tokens. Now it displays just numbers. Is 
there any way to get the text back? This used to be interesting to look 
at every now and then for rule ideas.