Fix line endings

As mentioned in issue #1, all line endings should be unified.
If you/we want this change, we should probably do it as soon as possible such that any later commit is based on the new line endings.