Add GitHub CI integration.