Branch 1.0: fix various problems with Umlauts in level titles
- handle utf-8 for bitmap fonts
- use alternate ttf font for characters not available in bitmap fonts
- optimize title placing in LevelWidget
- ensure that titles never overwrite each other
- ensure that long titles are truncated only at the end