small changes
changed the insert methods of the ts_deque_buffer to make it more robust against the ABA problem
shorter output
bugfix