A pomodoro timer manager working on firefox os