Gravar-mail: High-throughput mutation detection underlying adaptive evolution of Escherichia coli-K12