Use Unix eof for shell scripts

[Halbaroth]

This modification is mostly motivated by the fact that we cannot test opam files on Windows if we try to install a git repository with opam pin https://....