A simple tool to convert a JSON object into its PHP "representation"