JSON Schema tools and doc generation for HTTP APIs