Revert the swh scheduler WSGI executable to the old name
That refactoring never happened in practice.