gen-art-mart-checkin.py: datestamp output PDF filename