Allow the :HOUR12 format in format-timestring to take a length and padding argument.