Potato-pecorino gnocchi and grilled halloumi