Seq2Sat & SatAnalyzer toolkit: towards comprehensive microsatellite genotyping from sequencing data