Time format: Support 'timer' format 'hh:mm:ss.mil'

[GoogleCodeExporter]

While developing DateTime library (issue 415) we noticed that it is convenient 
to give times in 'clock format' e.g. 01:01:01:001. Instead of adding this 
support to DateTime library itself it is better to implement this in the 
utility functions that also handle the rest of time formats i.e. robot.utils 
module. That way the 'clock format' will be easily available for other usages 
too.

Original issue reported on code.google.com by janne.piironen@gmail.com on 22 May 2014 at 8:17

[GoogleCodeExporter]

This issue was updated by revision dda4f60bff00.

Implementation and tests done. Clean-up, especially related to old code, and UG 
documentation missing.

All these are now valid formats:

 00:00:01
  0:00:01
100:00:00
 00:00:01.5
 00:00:01.123
    00:01
    00:01.5

Also all these work although they are a bit questionable:

    0:0:1
    00:99
  100:100

Original comment by pekka.klarck on 4 Jun 2014 at 5:48

• Changed state: Started

[GoogleCodeExporter]

This issue was updated by revision bd1a27b2e298.

Documented the new format in User Guide. Changed terminology from "clock" to 
"timer". That needs to be done in code too.

Original comment by pekka.klarck on 4 Jun 2014 at 5:48

[GoogleCodeExporter]

This issue was updated by revision cda8e2a10a19.

Refactored code and utests.
- Use 'timer' instead of 'clock' terminology.
- Some general cleanup.

Original comment by pekka.klarck on 4 Jun 2014 at 5:48

• Changed state: Done

[GoogleCodeExporter]

Original comment by pekka.klarck on 4 Jun 2014 at 5:49

• Changed title: Time format: Support 'timer' format 'hh:mm:ss.mil'

[GoogleCodeExporter]

This issue was updated by revision e1de3ab2ce0f.

Other tests revealed that earlier time format supported also
'millisec(s)' and 'msec(s)'. That was probably an accident caused by
how the time format was parsed, but better to keep supporting them
anyway. Also enhanced related tests otherwise.

Original comment by pekka.klarck on 5 Jun 2014 at 8:56

[GoogleCodeExporter]

This issue was updated by revision ddea13b48914.

DateTime supported also + prefix with timer strings. Now timestr_to_secs 
supports it too.

Original comment by pekka.klarck on 5 Jun 2014 at 8:56