Merge vscode extensions #28
Description
Currently, we have two different extensions, one for syntax highlighting and one for syntax checking. There is no reason for that, other than that they were made by two different people at two different times.
To make maintaining them and working them easier, they should be merged into a single extension.