Evolutionary optimization of the catalytic properties of a DNA-cleaving ribozyme.