gnocchi with mashed potatoes