ivory-backend-aadl: tyDynArray rendered into an Ivory_Types::ivory_dynarray

* ivory_dynarray is an empty struct, because the AADL world can't and should
  not deal with it