Renamed sequencetools.repeat_sequence().

The old name was sequencetools.repeat_sequence_n_times().