made everything ready for LaTeX output; reverted all Windows line endings to Unix style