Github action: github-push-action -> actions-gh-pages #12
Description
Consider switching from https://github.com/ad-m/github-push-action to https://github.com/peaceiris/actions-gh-pages, it seems better supported.
This also applies to the doxygen generation for kobuki_core.