Use milliseconds precision for the time slider.
Change display a bit.
Fixes #4
Fix compilation using gcc (ambiguous definitions)