misc/collect.py: get release name from json files