Avoid CRLF newlines in Git repo blobs
In !1173 (merged) we left a few CRLF blobs in the repository. Some Git
versions get confused by text files with CRLF blobs. Convert them
to LF blobs. Use the eol=crlf
attribute to tell Git to use CRLF
on checkout.