Changing board themes while paused does not persist

[Kaleb Fulgham]

If the user changes the board theme whilst paused, the board reverts to its pre-paused theme once the game is resumed.

[Chris Oakman]

Issue #33