gnocchi in French onion broth