The BattleTech campaign manager