VSCode-IDP-Z3-syntax-highlight