Fix XML encoding

1. Write out using utf-8 encoding.  Shouldn't matter really since
we don't generate non-ASCII data,

2. When parsing, DON'T override the file's encoding!