formatting: faster strftime and make parse-strftime match parse-printf.