date.rs: add strftime()