scripts/download.py: use a more terse api for fetching git commit date