fixes to AADL output for mike

- Source Text is a list of one string
- Dispatch is Dispatch_Protocol, value is a literal Sporadic or Hybrid (no
  quotes)
- one-element lists of props are rendered as lists, not just the element
- remove debugging comments from rendered aadl