purple potato gnocchi, or regular gnocchi