Replace literal CR with escape sequence

The fix_whitespace script used to include a literal carriage return
character in one of the replacements, which it quite confusing if
you just cat it. This instead uses bash's support for escape sequences
in $-prefixed string literals.
Merge pull request #792 from kframework/bash_escapes

Replace literal CR with escape sequence