Convert `\r` to `\n` before executing twelf text

[jcreedcmu]

Although twelf considers \r to be whitespace, and so it doesn't mess up execution, it does mean that reported line numbers for errors are wrong.