Guide stars

It was found that sometimes guide stars are selected that are near to stars that are considered too bright. When the star is acquired this can lead to the wrong star being selected and centered, with a corresponding off-set in the pointing. The guide star server was changed such that no guide star is selected near a star that is excluded because of its brightness.