Add CodeQL GitHub workflow.