gen-art-mart-checkin.py: put datestamp at beginning of PDF filename