Change Unicode characters to ASCII:
- non-breaking spaces (\xc2\xa0) to normal spaces (\x20)
- apostrophes (there are only 2 Unicode apostrophes, all others are already ASCII)
- hyphen (−) to minus (-)
- fix wording (STD‐OUT to "standard output")
Fixes#310
Some files had no newlines, some had 1 newline and some more than 1 newline.
Normalize them all to have only 1 newline at the end of all files.