Summary of changes: * Deconfiguration messages from CM are now handled as expected. * d10server accommodates configuration changes so that D10 does not need to be restarted for each new configuration. * Improved definition and use of GStreamer pipeline clocks throughout. * Shutting down a lagset processing stage (in present usage this occurs whenever the configuration changes) waits for MPI file writing thread(s) to complete before exiting.