Ramen gnocchi