function::read_stopwatch_ms(3stap) on Linux

The text 024d92afeaa6, as Debian 9 (Stretch) shipped it.

Reads the time in milliseconds for a stopwatch

function::read_stopwatch_ms(3stap) on Linux now