A Westerbork survey of rich clusters of galaxies. II - The luminosity function of bright cluster galaxies at 1415 MHz