REST API documentation

OpenAPI/Swagger style documentation for the Butler API.

Last modified 2021-11-03: wip towards 7.0 (dbfa572)