Extension for Visual Studio Code - Diagnostics for the redtt Proof Assistant