Make each whitespace character its own token.

This helps produce more intelligible whitespace diffs with no clear
downsides.