Added get_process_cpu_time to windows API which is a wrapper around process_times for CPU time.
Added get_process_cpu_time to windows API which is a wrapper around process_times for CPU time.

sburnett/seattle,sburnett/seattle,sburnett/seattle,sburnett/seattle,sburnett/seattle,sburnett/seattle