This PR upstreams the logs integration I wrote for Semgrep, and that we've been using succesfully for months!