A module for getting a process's CPU use.
get
returns a Cpu_use.t for the given pid or the current processes's pid, if none
given. Note that the cpu_use
given by this initial value will probably be
invalid.
update_exn
updates a Cpu_use.t. It will fail if the process no longer exists.
cpu_use
gives an estimated CPU usage (between 0 and 1) in the time period between
the last 2 calls to update_exn
.