Enter time stamps in the format hh:mm:ss directly

gives the seconds as a double cell number.


git-svn-id: svn://svn.code.sf.net/p/amforth/code/trunk@1616 fd1c0b69-5d68-47f5-910c-86182ebb6ecd
Merge branch 'hq'