Added timer.

Added timer that can be easily modified (read js/game_manager.js, timer
always shows tenths at most.)