#30 Random difficulty

[Roel Hertoghs]

Difficulty level random:
- extra menu item in difficulty menu
- level to select while generating
- level of a puzzle to:
- show with the puzzle (e.g. bottom right) and to
- save with the puzzle, too!