A Web service to generate Swagger documentation HTML from a Swagger specification