Change git push branch from 'main' to 'master:main'

Update GitHub workflow and app.py for Hugging Face Spaces deployment

Add Hugging Face auto-deployment workflow