Gnocchi gratin with greens