Gnocchi with shrimp