Fix DOS line endings

Somehow these files snuck in with incorrect line endings. The bad part
about it is that Git really, really refuses to mark such files as
up-to-date when cloning afresh:

	git stash
	git reset --hard
	git ls-files -z --modified | xargs -0r && git reset --hard
	git diff | git apply -R

*all* fail to get this developer to an 'All files up-to-date' state.

Therefore, let's just fix the line endings in the committed files.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>