Fast, correct Python JSON library
