Provide Process.cpu_times() user/system children times

[giampaolo]

This is exposed at least on Linux and FreeBSD. Note that also os.cpu_times() provides these two metrics (for the current process only).

[giampaolo]

Implemented in #785.