Lost Meow: Minor changes in the display of "Top 100" statistics

Now, in the Top 100 table, time is shown in minutes : seconds : milliseconds.