Gravar-mail: A functional update of the Escherichia coli K-12 genome