Use strftime for displaying time

This fixes the time looking awkward when at least one of the elements only
displays one digit (for example, changes 6:9:7 to 06:09:07)