A C library to add time strings of the form "hh:mm:ss" from the command line