Arduino code to set the time on a DS3234 RTC to your PC's clock.