Next-Generation Sequencing Dataset Downloader and In Silico Sequence Mining: Graphical-User-Interface-Based Tools for Accessible, Multiprobe Target Mining in Next-Generation Sequencing Data | Synapse