The Tuxedo tools: ultra high-throughput mapping of short sequencing reads