Use JSON5 for localizations

The comment with the copyright already made it not pure JSON anyway.