Reimplement "time" format attribute with DateTimeFormatterBuilder

And add tests to confirm that it works correctly.

Signed-off-by: Francis Galiegue <fgaliegue@gmail.com>