dashenc: add option to provide UTC timing source