Debugging NameInfo, FullState, and DiffState

Now NameInfo is thread-safe and has automatic garbage collector.
Internal container is managed by weak_ptr instead of shared_ptr as it
was before.
diff --git a/model/sync-seq-no.h b/model/sync-seq-no.h
index 354a1b6..ae7f355 100644
--- a/model/sync-seq-no.h
+++ b/model/sync-seq-no.h
@@ -139,6 +139,13 @@
   uint32_t m_seq;
 };
 
+inline std::ostream &
+operator << (std::ostream &os, const SeqNo &seqno)
+{
+  os << seqno.getSession () << ":" << seqno.getSeq ();
+  return os;
+}
+
 } // Sync
 
 #endif // SYNC_SEQ_NO_H