[Fixes #125] Dump examples as json
Merge pull request #130 from johanneswuerbach/json-record

[Fixes #125] Dump examples as json