GitHub workflow improvement

Improvements of the GitHub publish process:

• Use the checkout v3, as indicated here: https://github.com/peaceiris/actions-gh-pages
• Remove copyToPublic step and update the publish_dir config
• Fix DTC_HEADLESS typo