an ultrafast, memory-efficient short read aligner
