Hotfix v1.3.2

This hotfix release addresses these issues. Below is a highlight of some of the new features.

Improvement to the inline coverage report
The inline coverage report now colours parts that have not been executed in red and the parts that have been executed in green.
The strength of the green colour is assigned according to how many times that piece of the specification has been executed.

New buttons for CT view
The CT view has been improved with new buttons that change the way you switch between workspace folders.

Improved library import
The library import has been changed to support the inclusion of user-defined libraries.

Partly migration to web
A part of the extension has been migrated to web VS Code. However, it is only the client-side features (syntax highlighting and snippets) that are enabled in the web extension.

Refactoring
Large refactoring of SLSP related features. See the wiki for more information on the new design.

General fixes
Fixes to the client and VDMJ to ensure smoother operation of the extension