Added the Hirschberg algorithm

Not sure if it counts as a metric, since it doesn't return a number, but
it's a useful algorithm, regardless.