Handle non-ASCII station names

eddb.py

@@ -107,7 +107,7 @@ if __name__ == "__main__":
     # station_id by (system_id, station_name)
     stations = json.loads(download('stations.json').content)	# let json do the utf-8 decode
     station_ids = {
-        (x['system_id'], str(x['name'])) : x['id']
+        (x['system_id'], x['name'].encode('utf-8')) : x['id']	# Pilgrim's Ruin in HR 3005 id 70972 has U+2019 quote
         for x in stations if x['max_landing_pad_size']
     }