submodules: bump external/adrs from 5acd39c to 419236e

Bumps [external/adrs](https://github.com/oasisprotocol/adrs) from `5acd39c` to `419236e`.
- [Commits](oasisprotocol/adrs@5acd39c...419236e)

---
updated-dependencies:
- dependency-name: external/adrs
  dependency-type: direct:production
...

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