Gnocchi in Cherry Tomato Sauce