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