Display millisecs in hours, minutes and seconds

Sometimes you have long processes and you even want display them up to the millisecond. Here is a way to do it.