Add "inko check" command
This command will type-check Inko source code without compiling it, making it possible to integrate the compiler into linters/tooling such as ALE.
In addition, we add support for displaying diagnostics as JSON. This makes it easier for third-party tools to consume the output, without having to rely on regular expression matching.
Checklist
-
Added documentation
Edited by Yorick Peterse