Convert time format in .gpx files

<time>1685813016000</time> → <time>2023-06-03T17:23:35.000Z</time>