nicer output of the time spent in a syscall

Signed-off-by: Julien Desfossez <jdesfossez@efficios.com>