Progressive Cactus is a multiple-genome aligner for the thousand-genome era | Synapse