scripts: Specify utf-8 encoding for db file

Change-Id: I0a76a6d9766041a9f70053e7385517c0b1d7022c

Author: mark-lunarg

scripts/spec.py

@@ -279,7 +279,7 @@ def genDB(self, db_file):
             outfile.write("\n".join(db_lines))
     def readDB(self, db_file):
         """Read a db file into a dict, refer to genDB function above for format of each line"""
-        with open(db_file, "r") as infile:
+        with open(db_file, "r", encoding='utf-8') as infile:
             for line in infile:
                 line = line.strip()
                 if line.startswith('#') or '' == line: