Always use ISO 8601 formats for date string formatting.

Simplifies the date formatting code and makes it possible
to round-trip Date.parse(new Date().toString()).