build(deps): bump webtools from dcede45 to 0f0c238

Bumps [webtools](https://github.com/espruino/EspruinoWebTools) from `dcede45` to `0f0c238`.
- [Commits](espruino/EspruinoWebTools@dcede45...0f0c238)

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

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