add strftime() docs with all the standard formatting specifiers