GPS time/date to DS3231

[Nick_Pyner]

I use a separate programme to set DS3231. The same code could just as easily be used as a part of a subroutine.
http://bildr.org/2011/03/ds1307-arduino/