Custom time display format

Add an ability to define custom display format, using a simple interpreter with each character meaning something different, like common date formatting functions.

I’ve found that I’ve needed to display position in just milliseconds (not samples, milliseconds) since start of the audio, however that isn’t an option.