Update and rename MissionBus1.aadl to RTBus1Mgr.aadl

Change package name
Merge pull request #11 from Stachelbeck/patch-10

Update and rename MissionBus1.aadl to RTBus1Mgr.aadl