GitHub makes CodeQL free for research and open source