The K-Band Luminosity Function in Galaxy Clusters to z