ctcp: better format for TIME responses