Add time source selection to configure

Add a parameter for selecting the time source to the configure script.