DiagramKit: Collaborative Diagramming Tool & Online Whiteboard