Implement -nobuf option (working only on linux so far)

Passing -nobuf , you can get a more accurate timing report of programs, that do sporadic output to stdout/stderr without flushing. It may not be suitable for measuring programs, that produce huge volumes of output, since turning off the io streams buffering, may slow down their execution.