[batch, auth, monitoring, ci] API documentation additions and fixes (#14833)

## Change Description

Updates batch service openapi documentation to fix tabulation bugs and
add request and response object definitions. Adds openapi and swagger
documentation for the ci, auth and monitoring services.

## Security Assessment

- This change has a medium security impact

### Impact Description

New endpoints added to auth, ci and monitoring, but in analogy to the
existing batch swagger and monitoring endpoints. They take no
parameters, are intentionally public, and serve only minimally templated
content from system setup variables for version and base path.

(Reviewers: please confirm the security impact before approving)

Author: cjllanwarne

auth/auth/auth.py

@@ -33,7 +33,7 @@
 from gear.auth import AIOHTTPHandler, get_session_id
 from gear.cloud_config import get_global_config
 from gear.profiling import install_profiler_if_requested
-from hailtop import httpx, uvloopx
+from hailtop import __version__, httpx, uvloopx
 from hailtop.auth import AzureFlow, Flow, GoogleFlow, IdentityProvider
 from hailtop.config import get_deploy_config
 from hailtop.hail_logging import AccessLogger
@@ -45,6 +45,7 @@
     setup_aiohttp_jinja2,
     setup_common_static_routes,
     web_security_headers,
+    web_security_headers_swagger,
 )
 
 from .auth_utils import is_valid_username, validate_credentials_secret_name_input
@@ -221,6 +222,20 @@ async def get_healthcheck(_) -> web.Response:
     return web.Response()
 
 
+@routes.get('/swagger')
+@web_security_headers_swagger
+async def swagger(request):
+    page_context = {'service': 'auth', 'base_path': deploy_config.base_path('auth')}
+    return await render_template('auth', request, None, 'swagger.html', page_context)
+
+
+@routes.get('/openapi.yaml')
+@web_security_headers
+async def openapi(request):
+    page_context = {'base_path': deploy_config.base_path('auth'), 'spec_version': __version__}
+    return await render_template('auth', request, None, 'openapi.yaml', page_context)
+
+
 @routes.get('')
 @routes.get('/')
 @web_security_headers