lazy JSON I/O in Python