Fix unicode encoding bug when editing the coveragerc file

As mentioned in #2643.  This is purely theoretical, since our coveragerc doesn't contain non-ascii characters, but if it ever did, this will prevent that from blowing up...