Use std::time::Duration and std::time::SystemTime in the crux_time API

Use std::time::Duration and std::time::SystemTime in the crux_time API #1606