Use internet time protocol to set the risc os clock from the internet