Add GitHub action to trigger binder build upon merge to `main` see https://github.com/marketplace/actions/trigger-binder-build