* gulpfile.js: fix ESLint warnings * package.json: add shortcut scripts * scripts/games: do a shallow git clone to save time * ci: migrate to GitHub Actions