Bump swagger-ui-dist from 5.12.0 to 5.13.0

Bumps [swagger-ui-dist](https://github.com/swagger-api/swagger-ui) from 5.12.0 to 5.13.0.
- [Release notes](https://github.com/swagger-api/swagger-ui/releases)
- [Changelog](https://github.com/swagger-api/swagger-ui/blob/master/.releaserc)
- [Commits](swagger-api/swagger-ui@v5.12.0...v5.13.0)

---
updated-dependencies:
- dependency-name: swagger-ui-dist
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>