Rename readfiles.py to genjson.py