A Python module to convert between JSON schemas