Change line endings to Unix format

Several files have a Windows line ending format. I converted them to
Unix format using dos2unix. Ideally, Git clients on Windows should be
configured to checkout files in Windows format, and convert back to
Unix on commit.

(Sorry I had to recreate this pull request. Please merge this one.)