bump ivory, tower, smaccmpilot, todo: tower-aadl names are now unique but not stable