Feature #403: Add bayesian skill rating
Add promotion announcement with Skill Rating
Add promotion announcement when Skill Rating is enabled.
Since ranks are tied to SR (when enabled), rank are calculated at end of map.
Add a promotion announcement on the debriefing screen when the player levels up. As a bonus, add a sad announcement when the player loses a rank, as SR makes it possible.