[codeql-go] I made a tool to generate taint-tracking models and their test code

[gagliardetto]

What I made

I made a tool to speed up the creation of CodeQL taint-tracking models for Go: Codebox

It works like this: you select the flow of data in a web-based UI, and the tool generates the CodeQL taint-tracking models and the Go code to test those models.

Here's what the interface looks like:

When you close codebox, it generates your CodeQL and Go files in your specified directory.

Recently, I updated it to work with the official "Go Module Mirror" (proxy.golang.org) so that

1. you can analyze any Go package without having it already locally available on your system, and
2. you can analyze a specific version of a package, or just go with @latest.

What I used it for

See #187