Hotfix v1.3.1

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

VDMUnit support
Added support for the VDMUnit library for VDM++ and VDM-RT

Additional settings for translation
The settings allow you better ability to make the extension operate as you would like

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