Update and rename MissionBus2.aadl to RTBusMgr2.aadl

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

Update and rename MissionBus2.aadl to RTBusMgr2.aadl