Ada & SPARK extension for VS Code User's Guide

The user guide for Ada & SPARK extension for Visual Studio Code. This extension provides support for the Ada and SPARK programming languages in VS Code.