a simple function to export a JSON file