Recode all files to UTF-8

It's the only encoding that makes sense nowadays, and github expects it.