string(TIMESTAMP): Add %V specifier for ISO 8601 week number

In ISO 8601 weeks begin with Monday. The first week of
the year is the week which contains the first Thursday
of the year.