REST API documentation

OpenAPI/Swagger style documentation for the Butler API.
Last modified April 18, 2024: Fix various broken links (ca5eab8e)