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

As with `:hour` it is often useful to specify the padding char in 12 hour time.