genoBASE pylori: A genotype search tool and database of the human gastric pathogen Helicobacter pylori