gnocchi in brodo