Saving files to SD card with time stamp

However, the time library returns integers

Which are easily converted to strings in a number of ways. sprintf() is probably the easiest.