Artisan gnocchi stuffed with cheese, with cherry tomatoes, garlic, olive oil and basil