Add a few more RFC formats to strftime examples