cutoff optional argument to batString.edit_distance

Yes, I know, I just implemented a cutoff argument, as proposed by @gasche :)