Gevrey regularity of the Navier-Stokes equations in a half-space