Ingredients 1 tablespoon olive oil 4 tablespoons butter 1 small onion, diced 3 to 4 medium carrots, diced 2 stalks celery, diced 16-ounce package potato gnocchi 6 to 8 cloves garli...