Gravar-mail: Full-length messenger RNA sequences greatly improve genome annotation