Scripts: removed obsolete dune-push-github.py