fix: [lean4web] replace require-style imports

[abentkamp]

This PR replaces

import path = require('path')

by

import path from 'path'

in a couple of files.