Use the same CPU time format in the process properties than in the process...

Use the same CPU time format in the process properties than in the process list by using format_duration_for_display(). Get rid of useless OS-specific code.
Signed-off-by: Robert Roth <robert.roth.off@gmail.com>