Implements HTML library (with identical API) with scripts and executables independent of Curry distribution