Misc. refactoring

Minor refactorings of TimerManager, PauseMusicService and SetTimerActivity.