Gravar-mail: PlasmID: a centralized repository for plasmid clone information and distribution