ivory-backend-aadl: expose api for writing thread definitions to AADL Document