Control of Oxygen Deficiency in Superconducting Y1Ba2Cu3O7-y Films Using a Solid-State Electrolyte