Convergence of a finite element/ALE method for the Stokes equations in a domain depending on time