Added Sequence.rotate().
Reimplemented sequencetools.rotate_sequence() in terms of Sequence.