ivory-tower-aadl: give task and isr threads Priority attributes

* any user-defined task priority is higher than the default
  priority.
* all isr priorities are higher than any task priority
ivory-tower-frontend: omit aadl.debug, emit ivoryTypesDoc