Describir: Migration and Agility in Cryptographic Systems