updates in Github actions

[romani]

1. update all github actions to use checkout@v3

https://github.com/actions/checkout#push-a-commit-using-the-built-in-token
no need for token: ${{ secrets.GITHUB_TOKEN }}
and remove --global from command git config user.name github-actions

in .github/workflows/update_github_io.yml
code should be:

cd . ci-temp/checkstyle.github.io
git config user.name 'github-actions[bot]'
git config user.email 'github-actions[bot]@users.noreply.github.com'

to set config values after cd, in proper repo.