Support information severity.
Support information severity.

Unfortunately this is almost unusable for print statements because
vscode does not show newlines in diagnostics: Microsoft/vscode#1927

Fixes #1.

leanprover/vscode-lean,leanprover/vscode-lean,leanprover/vscode-lean