ipython stuff to make json files