[Fixes #125] Dump examples as json