Fix rounding issues of times for ADwin: Added a PseudoclockDevice for each TiCo, which fixes using the wrong resolution in 'Device.quantise_to_pseudoclock'; overwrite 'collect_change_times' for TiCo, becuase floating point errors triggered errors during checkes of time deltas.