readme: remove ivory-aadl.