Add strftime()

also reject leap seconds (not planned to be supported anyway) and update
libraries