Add summary formatter
Introduce a JSON formatter