Clafer Web Tools 0.4.1 Released

This is a major release of the web tools. For details, see Release 0.4.1 post.

This release of the web tools works with the corresponding release of the compiler and backends. For details, see Release 0.4.1 post.