ivory-tower-frontend: use ivory-backend-aadl to output struct defs in aadl compilation

* we're using the show instance of the aadl document
  for now - pretty printer forthcoming