Add two functions dcftime() and isotime() to convert between DCF77 time and ISO time.
Use isotime() in setclock()