feat: add support of time stuff to `ConstraintJSONEncoder`

Edited by Arnaud Vergnet

Merge request reports