SNPServer: a real-time SNP discovery tool