Appending data to a json file in Python,"json.dump([], f)"