Add JSON decoder example (see #18)