Add API to get idle time
Add API to get idle time

Add the API to get  time sleeping. This is in preparation for CPU
usage support.

betzw/mbed-os,c1728p9/mbed-os,c1728p9/mbed-os,andcor02/mbed-os,c1728p9/mbed-os,kjbracey-arm/mbed,andcor02/mbed-os,mbedmicro/mbed,betzw/mbed-os,betzw/mbed-os,c1728p9/mbed-os,betzw/mbed-os,betzw/mbed-os,kjbracey-arm/mbed,andcor02/mbed-os,andcor02/mbed-os,mbedmicro/mbed,andcor02/mbed-os,mbedmicro/mbed,betzw/mbed-os,kjbracey-arm/mbed,mbedmicro/mbed,andcor02/mbed-os,c1728p9/mbed-os,mbedmicro/mbed,kjbracey-arm/mbed,c1728p9/mbed-os