Exchange-traded funds have made little headway in 401(k) plans even as they’ve steadily gained market share in other accounts.