Use 24 Hour time format (HH:MM:SS) with seconds

In many countries, the 24-hour-format is the leading standard. Adding seconds would also help to tell the difference between two video recordings taken in the same minute.