Add HAL+JSON formatter, by @amitaibu, @mateu-aguilo-bosch, @mirzu.