generalization of aligner functions to support aligning alignments

The global aligners can now align pairs of sequences, pairs of alignments, or a sequence and an alignment. This is useful in progressive multiple sequence alignment.

Fixes #550.
i agree that this is pretty ugly though, i'm going to work on it.