Update of Lurch math software (lurchmath.org) to a web-based UI