Bump webtools from e2d184d to 13d5f1e

Bumps [webtools](https://github.com/espruino/EspruinoWebTools) from `e2d184d` to `13d5f1e`.
- [Commits](espruino/EspruinoWebTools@e2d184d...13d5f1e)

---
updated-dependencies:
- dependency-name: webtools
  dependency-version: 13d5f1e6c43ac7e8998f228c105342143bce3160
  dependency-type: direct:production
...

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

Author: dependabot[bot]