A Fully-automated Desynchronization Flow for Synchronous Circuits