Fix timerButton text changing on configuration change
Scroll the players list to always show the active player.
Add context menu with functional player activation option for players

The other two options are just placeholders for now.
Order strings alphabetically
Merge pull request #9 from Waiski/devel

Add context menu with functional player activation option for players
Store the whole view in the GameFragment.

This eliminates the need to re-create visual changes on configuration change. Also fixes the pause overlay disappearance bug.
Merge pull request #10 from Waiski/devel

Store the whole view in the GameFragment.
An ugly, functional and state-retaining dialog for adjusting a player's time.

Also remove redundancies from player's time-keeping. The time is now internally only counted in the positive direction.
Add some ignores.
Keep timer going after it reaches zero

Show negative time values in red. Also improves timer functionality in general and fixes #2.