Display campaign high score in the menu
When you complete a campaign, you are told about your score and high score, but this information is then not visible in the campaign selection menu. If you want to know your high score, you need to play the whole campaign again to be able to have a comparison with your new score.
We should simply display it somewhere in the campaign selection menu.