Added a version of the TimeRTCSet example, with a note on how to use the date command to set it.