Switch UCL machines to use the UCL ntp servers