update.py: sort keys in the json file