fix time format to international time format

use the ISO 8601 standard
see http://en.wikipedia.org/wiki/ISO_8601#Times
Merge pull request #3032 from olivierverdier/dateformat

fix time format to international time format