[galaxy-user] Bowtie vs TopHat