Add =encoding to source files

Fix encoding issues, including making source file type utf8.

Also, my editor removes trailing spaces.