[Infrastructure] Rename repository lecture-intro and update associated infrastructure

[mmcky]

I propose we migrate this repository to lecture-intro to be inline with the new lecture series naming conventions

• update gh-pages + hosting settings
• update _publish.yml
• update associated notebooks repository