Make the timer in the gym view configurable

Fixes #62

--HG--
extra : rebase_source : 6a7e843427b1ad2c38f99d26b81021394e9306eb
Fix user preferences tests
Merge
Commit missing migration file for configurable timer in gym view
Remove unused imports
Group options in the user preferences page