python script for fast conversion between xml and json and vica versa