build(deps): bump webtools from c3ca6c7 to 93d2ce5

Bumps [webtools](https://github.com/espruino/EspruinoWebTools) from `c3ca6c7` to `93d2ce5`.
- [Commits](espruino/EspruinoWebTools@c3ca6c7...93d2ce5)

---
updated-dependencies:
- dependency-name: webtools
  dependency-type: direct:production
...

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