Stitching Satellites to the Edge: Pervasive and Efficient Federated LEO Satellite Learning