submodules: bump external/oasis-core from c4cdfca to 00801ce

Bumps [external/oasis-core](https://github.com/oasisprotocol/oasis-core) from `c4cdfca` to `00801ce`.
- [Release notes](https://github.com/oasisprotocol/oasis-core/releases)
- [Commits](oasisprotocol/oasis-core@c4cdfca...00801ce)

---
updated-dependencies:
- dependency-name: external/oasis-core
  dependency-version: '00801ce057720b694c6ee51c916a830f2f85bca9'
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>

Author: dependabot[bot]