travis-ci: use gnu date format.