JSON example

Implemented a basic JSON parser. This is an interesting example because it involves mutually recursive parsers. Apparently one needs to wrap the recursive call with `lazy : a -> a`. Otherwise the binary produced by the Idris compiler eats a lot of memory and fails.