Better json string extraction, and per-locale names.json.

* json string extraction script now just loads everything, and extracts according to type.
* names.json renamed to `data/names/en.json`, and the game first tries to load `data/names/<language_id>.json`, only loading en.json if that fails.

Obsoletes #4660.