Use three decimal places for scoreboard times

For games such as Ball Race (technically any timed game), it would be better to use three decimal places for the after-level scoreboard. Or, at least on scores that seem to be tied. It is confusing.