Download the IsoMut tool