Add a number picker preference and use this for selecting the number of players.
Authored by: hagru 2017-06-06
Parent: [r223]
Child: [r225]